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

Computers in Industry

Volumn 59, Issue 2-3, 2008, Pages 193-209

  Ha, Seungchul ^a   Suh, Hyo Won ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Product development process (PDP); PWF net; Timed colored Petri net; Workflow modeling; Workflow patterns

Indexed keywords

INFORMATION MANAGEMENT; PETRI NETS; UNCERTAIN SYSTEMS;

PRODUCT DEVELOPMENT PROCESS; PWF-NET; TIMED COLORED PETRI NET; WORKFLOW MODELING; WORKFLOW PATTERNS;

PRODUCT DEVELOPMENT;

EID: 37849027578     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compind.2007.06.016     Document Type: Article

References (31)

1. Adam N., Atluri V., and Huang W.-K. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Systems 10 (1998) 131-158
2. van der Aalst W.M.P. Three good reasons for using a Petri-net-based workflow management system. IPIC '96. Cambridge, Massachusetts (1996) 179-201
3. van der Aalst W.M.P., van Hee K.M., and Houben G.J. Modelling and analysing workflow using a Petri-net based approach. Proceedings of the Second Workshop on Computer-Supported Cooperative Work, Petri nets and Related Formalisms (1994) 31-50
4. Mentzas G., Halaris C., and Kavadias S. Modelling business processes with workflow systems: an evaluation of alternative approaches. International Journal of Information Management 21 (2001) 123-135
5. Joeris G., and Herzog O. Managing evolving workflow specifications. Proceedings of the Third IFCIS International Conference on Cooperative Information Systems (1998) 310-319
6. Kradolfer M., and Geppert A. Dynamic workflow schema evolution based on workflow type versioning and workflow migration. Proceedings of the 1999 IFICS International Conference on Cooperative Information System (1999) 104-114
7. Cichocki A., and Rusinkiewicz M. Providing transactional properties for migrating workflows. Proceedings of the 10th International Workshop on Database and Expert Systems Applications (1999) 90-94
8. D. Barbara, S. Mehrota, M. Rusinkiewicz INCAS: A Computation Model for Dynamic Workflows in Autonomous Distributed Environments, Technical report, Matsushita Information Technology Laboratory, 1994.
9. van der Aalst W.M.P. Flexible workflow management systems: an approach based on generic process models. Lecture Notes in Computer Science 1677 (1999) 186-195
10. Kwan M., and Balasubramanian P. Dynamic workflow management: a framework for modeling workflows. Proceedings of the 20th Hawaii International Conference on System Sciences, vol. 4 (1997) 367-376
11. Kwak M., Han D., and Shim J. A framework for dynamic workflow interoperation using multi-subprocess tasks. Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering e-Commerce/e-Business Systems (2002) 93-100
12. van der Aalst W.M.P. The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers 8 1 (1998) 21-66
13. Gou H., Huang B., Liu W., Li Y., and Ren S. Modeling distributed business processes of virtual enterprises based on the object-oriented approach and Petri nets. IEEE International Conference on Systems, Man, and Cybernetics 3 (2001) 2052-2057
14. Ling S., and Schmidt H. Time Petri nets for workflow modelling and analysis. IEEE International Conference on Systems, Man, and Cybernetics 4 (2000) 3039-3044
15. Liu D., Wang J., and Chan S.C.F. Modeling workflow processes with colored Petri nets. Computers in Industry 49 (2002) 267-281
16. Coves C., Crestani D., and Prunet F. Design and analysis of workflow processes with Petri nets. IEEE International Conference on Systems, Man, and Cybernetics 1 (1998) 101-106
17. Chrastowski-Wachtel P., Benatallah B., Hamadi R., O'Dell M., and Susanto A. A top-down Petri net-based approach for dynamic workflow modeling. Lecture Note in Computer Science 2678 (2003) 336-353
18. Gou H., Huang B., Liu W., Ren S., and Li Y. Petri-net-based business process modeling for virtual enterprises. IEEE International Conference on Systems, Man, and Cybernetics 5 (2000) 3183-3188
19. Zhu H., Li P., and Zhang G. HTSN: a complex workflow model based on colored Petri net. JCS&T 4 1 (2004) 66-72
20. Naedele M., and Janneck J.W. Design patterns in Petri net system modeling. Proceedings of the Fourth IEEE International Conference on, Engineering of Complex Computer Systems (1998) 47-54
21. W.M.P. van der Aalst, Verification of Workflow Nets, Lecture Notes in Computer Science, vol. 1248, Application and Theory of Petri Nets, 1997, pp. 407-426.
22. Salimifard K., and Wright M. Petri Net-based modelling of workflow systems: an overview. European Journal of Operational Research 134 (2001) 664-676
23. Wang J. Timed Petri Nets-theory and Application (1998), Kluwer Academic Publishers
24. Naedele M., and Janneck J.W. Design patterns in Petri net system modeling. Proceedings of the Fourth IEEE International Conference on, Engineering of Complex Computer Systems, ICECCS '98 (1998) 47-54
25. van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 1 (2003) 5-51
26. S. Ha, H.-W. Suh, Semi-structured workflow management for product development process with uncertain and dynamic characteristics, Computers in Industry, Working paper.
27. Yassine A., Chelst K., and Falkenburg R. A decision analytic framework for evaluating concurrent engineering. IEEE Transactions on Engineering Management 46 2 (1999) 144-157
28. Rusinkiewicz M., and Georgakopoulos D. From coordination of workflow and group activities to composition and management of virtual enterprises. Proceedings of the 1999 International Symposium on Database Applications in Non-traditional Environments (1999) 3-15
29. B. Kiepuszewski, A.H.M. ter Hofstede, W.M.P. van der Aalst, Fundamentals of Control Flow in Workflows, QUT Technical Report, FIT-TR-2002-03, Queensland University of Technology, Brisbane, 2002.
30. C.K Aramanolis, D.G. Iannakopoulou, J.M. Agee, S.M. Wheater, Formal verification of workflow schemas, ESPRIT LTR Project C3DS (Project No. 24962).
31. van der Aalst W.M.P. Making work flow: on the application of Petri nets to business process management. ICATPN, Lecture Note in Computer Science 2360 (2002) 1-22