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

International Journal of Advanced Manufacturing Technology

Volumn 26, Issue 9-10, 2005, Pages 1163-1172

  Dong, Ming ^a   Chen, F Frank ^b  

^a TEAMS Inc   (United States)

^b Virginia Polytechnic Institute and State University   (United States)

Author keywords

CIMOSA; Petri nets; Structured business process models; Workflow modelling and analysis

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; PETRI NETS; POLYNOMIALS; PREVENTIVE MAINTENANCE; PROCESS CONTROL;

CIMOSA; FREE-CHOICE PETRI NETS; STRUCTURED BUSINESS PROCESS MODELS; WORKFLOW MODELING AND ANALYSIS; WORKFLOW SYSTEMS;

COMPUTER AIDED MANUFACTURING;

EID: 27544457679     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-004-2089-4     Document Type: Article

References (17)

1. van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8:21-66
2. ESPRIT Consortium AMICE. (1993) CIMOSA: open system architecture for CIM, 2nd edn. Springer, Berlin Heidelberg New York
3. Zelm M, Vernadat FB, Kosanke K (1995) The CIMOSA business modeling process. Comput Industr 27:123-142
4. Salimifard K, Wright M (2001) Petri net-based modeling of workflow systems: an overview. Eur J Oper Res 134:664-676
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-426
6. Liu D, Wang J, Chan S, Sun J, Zhang L (2002) Modeling workflow processes with colored Petri nets. Comput Industt 49:267-281
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 5
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-3044
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-309
10. Descrochers AA, AI-Jaar Y (1995) Application of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE Press
11. Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77:541-580
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 Instil Mech Eng 207:147-158
13. van der Aalst WMP, van Hee KM (1996) Business process redesign: a Petri-net-based approach. Comput Industt 29(1-2):15-26
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-218
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-201
16. Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press, Cambridge, New York
17. Chen J, Deng ZQ (1993) CIMOSA partial model, version 2.0. Nanjing University of Science and Technology, China and Cap Gemini Sesa, Belgium