Workflow systems portray the transaction flow process of service process. Workflow models based on Petri net describe the structure of workflow systems intuitively with the form of graphs. Petri net languages reflect the dynamic behavior process of systems. In this paper, it is proved that net reduction rules preserve languages of Workflow net systems based on Petri net reduction technique. Furthermore, a generation algorithm is proposed for the language expression of Workflow net systems. Based on this, a method of performance analysis is given. This method contributes to solve the explosion problem for reachable state space of Petri net to a certain degree, and provides a new algebra technique to analyze Workflow net systems.
Petri net, Reduction technique, Workflow net system, Language expression, Performance analysis.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).