A timed colored Petri nets modeling for dynamic workflow in product development process

Product development process (PDP) is one of the most important business processes for enterprises but it has difficulty in workflow management because of the uncertain and dynamic characteristics. Thus, even though there have been many workflow modeling and management methods, they have limitations to deal with the special characteristics of PDP. We define PWF-nets based on timed colored Petri nets for the workflow management of PDP and propose a method of organizing PWF-nets that are composed of workflow patterns. Considering the characteristics of PDP, PWF-nets are somewhat complex unlike existing workflow modeling because they manage necessary information related to dynamic workflow execution. Thus, we define transition behaviors and function primitives to support the construction of workflow patterns for PWF-nets. These workflow patterns can be microscopically handled and can be adapted for the dynamic and uncertain environment related to data and time. Next, we discuss the soundness and properties of the PWF-net and introduce an example of implementation. Additionally, we can check errors or abnormal executions of workflow and evaluate the lead time of PDP through our program for the PWF-net.

[1]  Yu Li,et al.  Modeling distributed business processes of virtual enterprises based on the object-oriented approach and Petri nets , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[2]  P. R. Balasubramanian,et al.  Dynamic workflow management: a framework for modeling workflows , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[3]  Andreas Geppert,et al.  Dynamic workflow schema evolution based on workflow type versioning and workflow migration , 1999, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).

[4]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[5]  Sea Ling,et al.  Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[6]  Ali A. Yassine,et al.  A decision analytic framework for evaluating concurrent engineering , 1999 .

[7]  Peigen Li,et al.  HTSN: a complex workflow model based on colored Petri net , 2004 .

[8]  Yu Li,et al.  Petri-net-based business process modeling for virtual enterprises , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[9]  Mike Wright,et al.  Petri net-based modelling of workflow systems: An overview , 2001, Eur. J. Oper. Res..

[10]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[11]  Marek Rusinkiewicz,et al.  From coordination of workflow and group activities to composition and management of virtual enterprises , 1999, Proceedings 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE'99) (Cat. No.PR00496).

[12]  Wil M. P. van der Aalst,et al.  Making Work Flow: On the Application of Petri Nets to Business Process Management , 2002, ICATPN.

[13]  Jaeyong Shim,et al.  A framework for dynamic workflow interoperation using multi-subprocess task , 2002, Proceedings Twelfth International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems RIDE-2EC 2002.

[14]  Jianmin Wang,et al.  Modeling workflow processes with colored Petri nets , 2002, Comput. Ind..

[15]  Gregoris Mentzas,et al.  Modelling business processes with workflow systems: an evaluation of alternative approaches , 2001, Int. J. Inf. Manag..

[16]  Otthein Herzog,et al.  Managing evolving workflow specifications , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[17]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[18]  Andrzej Cichocki,et al.  Providing Transactional Properties for Migrating Workflows , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[19]  Boualem Benatallah,et al.  A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling , 2003, Business Process Management.

[20]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[21]  Jörn W. Janneck,et al.  Design patterns in Petri net system modeling , 1998, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193).

[22]  Wil M. P. van der Aalst,et al.  Flexible Workflow Management Systems: An Approach Based on Generic Process Models , 1999, DEXA.

[23]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[24]  Didier Crestani,et al.  Design and analysis of workflow processes with Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[25]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .