Petri net-based workflow modelling and analysis of the integrated manufacturing business processes
The well-behaved properties in workflow systems are very important for business processes. In this paper, a structured business process modelling approach by using free-choice Petri nets and workflow analysis techniques is proposed. This approach can be used to verify the soundness of workflow process specification for finding control-flow errors in the designs. For example, deadlock and dangling tasks in process models can be avoided by using this approach. However, for arbitrary Petri nets, the checking of sound properties is a NP-hard problem. This paper presents a structured business process modelling algorithm. This algorithm employs six well-behaved control structures, chaining rule and modified nesting rule to construct well-behaved process models. The resulting process models from this algorithm are free-choice workflow-nets, for which sound property can be decided in polynomial time. The proposed method is an extension of the workflow-net. The basic transformation rules in the workflow-net are subsets of the proposed nesting rule in this paper. The process models resulted from this structured business process modelling algorithm also have the advantages of modularity, readability and maintainability.
KeywordsWorkflow modelling and analysis Petri nets Structured business process models CIMOSA
Unable to display preview. Download preview PDF.
- 2.ESPRIT Consortium AMICE. (1993) CIMOSA: open system architecture for CIM, 2nd edn. Springer, Berlin Heidelberg New YorkGoogle Scholar
- 5.van der Aalst WMP (1997) Verification of workflow nets. In: Azema P, Balbo G, (eds) Application and theory of Petri nets (Lecture notes in computer science), vol 1248. Springer, Berlin Heidelberg New York, pp 407–426Google Scholar
- 7.Mikolajczak B, Byrne DL (2002) Workflow modeling and diagnosis with Petri nets—a case study of a manufacturing process. In: Proceedings of the IEEE international conference on systems, man and cybernetics. 6–9 October 2002, Hammamet, Tunisia, vol 5Google Scholar
- 8.Ling S, Schmidt H (2000) Time Petri nets for workflow modeling and analysis. In: IEEE international conference on systems, man, and cybernetics. 8–11 October 2000, Nashville, TN, vol 4, pp 3039–3044Google Scholar
- 10.Descrochers AA, AI-Jaar Y (1995) Application of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE PressGoogle Scholar
- 12.Aguiar MWC, Weston RH (1993) CIMOSA and stochastic time Petri nets for behavioral modeling and model handling in CIM systems design and building. Proc Instit Mech Eng 207:147–158Google Scholar
- 13.van der Aalst WMP, van Hee KM (1996) Business process redesign: a Petri-net-based approach. Comput Industr 29(1–2):15–26Google Scholar
- 14.van der Aalst WMP (1992) Modeling and analysis of complex logistic systems. In: Proceedings of the IFIP WG 5.7 working conference on integration in production management systems. Eindhoven, The Netherlands, pp 203–218Google Scholar
- 15.van der Aalst WMP (1996) Three good reasons for using a Petri-net-based workflow management system. In: Navathe S, Wakayama T (eds) Proceedings of the international working conference on information and process integration in enterprises (IPIC’96). Cambridge, Massachusetts, pp 179–201Google Scholar
- 16.Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press, Cambridge, New YorkGoogle Scholar
- 17.Chen J, Deng ZQ (1993) CIMOSA partial model, version 2.0. Nanjing University of Science and Technology, China and Cap Gemini Sesa, BelgiumGoogle Scholar