Petri net-based workflow modelling and analysis of the integrated manufacturing business processes

  • Ming DongEmail author
  • F. Frank Chen
Original Article


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.


Workflow modelling and analysis Petri nets  Structured business process models CIMOSA 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8:21–66CrossRefGoogle Scholar
  2. 2.
    ESPRIT Consortium AMICE. (1993) CIMOSA: open system architecture for CIM, 2nd edn. Springer, Berlin Heidelberg New YorkGoogle Scholar
  3. 3.
    Zelm M, Vernadat FB, Kosanke K (1995) The CIMOSA business modeling process. Comput Industr 27:123–142CrossRefGoogle Scholar
  4. 4.
    Salimifard K, Wright M (2001) Petri net-based modeling of workflow systems: an overview. Eur J Oper Res 134:664–676CrossRefGoogle Scholar
  5. 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
  6. 6.
    Liu D, Wang J, Chan S, Sun J, Zhang L (2002) Modeling workflow processes with colored Petri nets. Comput Industr 49:267–281CrossRefGoogle Scholar
  7. 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. 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
  9. 9.
    Fung RYK, Au AYM, Ip AWH (2003) Petri net-based workflow management systems for in-process control in a plastic processing plant. J Mater Process Technol 139:302–309CrossRefGoogle Scholar
  10. 10.
    Descrochers AA, AI-Jaar Y (1995) Application of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE PressGoogle Scholar
  11. 11.
    Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77:541–580CrossRefGoogle Scholar
  12. 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. 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. 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. 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. 16.
    Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press, Cambridge, New YorkGoogle Scholar
  17. 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

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  1. 1.TEAMS, Inc.SavageUSA
  2. 2.Grado Department of Industrial and Systems EngineeringVirginia Polytechnic Institute and State UniversityBlacksburgUSA

Personalised recommendations