Modeling workflow processes with colored Petri nets

Computers in Industry

Volumn 49, Issue 3, 2002, Pages 267-281

  Liu, Dongsheng ^a   Wang, Jianmin ^a   Chan, Stephen C F ^b   Sun, Jiaguang ^a   Zhang, Li ^a  

^a TSINGHUA UNIVERSITY   (China)

^b HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

Colored Petri nets; Workflow management system; Workflow process specification; Workflow script language

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; OFFICE AUTOMATION; PETRI NETS;

WORKFLOW MANAGEMENT SYSTEMS;

INDUSTRIAL MANAGEMENT;

EID: 0036896258     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-3615(02)00099-4     Document Type: Article

References (22)

1. W.M.P. van der Aalst, Petri net-based workflow management software, in: Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions, Athens, Georgia, May 1996, pp. 114-118.
2. W.M.P. van der Aalst, Verification of workflow-nets, in: P. Azema, G. Balbo (Eds.), Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, 1997, pp. 407-426.
3. van der Aalst W.M.P. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers. 8(1):1998;21-66.
4. W.M.P. van der Aalst, Workflow verification: finding control-flow errors using Petri net-based techniques, in: W.M.P. van der Aalst, J. Desel, A. Oberweis (Eds.), Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, vol. 1806, Springer, Berlin, 2000, pp. 161-138.
5. Babau J.P., Sourrouille J.L. Expressing real-time constraints in a reflective object model. IFAC Control Engineering Practice. 6:1998;421-430.
6. A.P. Barros, A.H.M. ter Hofstede, H.A. Proper, Essential principles for workflow modelling effectiveness, in: Proceedings of the Third Pacific Asia Conference on Information Systems (PACIS'97), Brisbane, Australia, 1997, pp. 137-147.
7. Curtis B., Kellner M.I., Over J. Processing modeling. Communications of the ACM. 35(9):1992;75-90.
8. C.A. Ellis, G.J. Nutt, Modelling and Enactment of Workflow Systems, Application and Theory of Petri Nets 1993, Lecture Notes in Computer Science, vol. 691, Springer, Berlin, 1993, pp. 1-16.
9. ter Hofstede A.H.M., Nieuwland E.R. Task structure semantics through process algebra. Software Engineering Journal. 8(1):1993;14-20.
10. K. Jensen, Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, 2nd ed., Springer, New York, 1997.
11. G. Joeris, O. Herzog, Managing Evolving Workflow Specifications with Schema Versioning and Migration Rules, TZI Technical Report 15, 1999.
12. Krishnakumar N., Sheth A. Managing heterogeneous multi-system tasks to support enterprise-wide operations. Journal on Distributed and Parallel Databases. 3(2):1995;1-33.
13. OASIS, ebXML Business Process Specification Schema, Version 1.01, May 2001.
14. OMG, Unified Modeling Language Specification, Version 1.3, 1999.
15. PDM Information Company, http://www.pdmic.com/intropdm.html.
16. Rayson P. Relate, empower and free collaborative product commerce. Manufacturing Engineer. 80(1):2001;8-12.
17. W. Reisig, Petri Nets: An Introduction, Springer, New York, 1982.
18. W.E. Riddle, Fundamental process modelling concepts, in: NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions, Athens, Georgia, May 1996.
19. K. Schmidt, Verification of Siphons and Traps for Algebraic Petri Nets, Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science 1248, Springer, New York, 1997, pp. 427-446.
20. Sun Microsystems Inc. web site, http://java.sun.com/j2se/1.3/docs/api/java/lang/reflect/package-summary.html.
21. Verbeek H.M.W., Basten T., Van Der Aalst W.M.P. Diagnosing workflow processes using woflan. The Computer Journal. 44(4):2001;246-279.
22. Workflow Management Coalition, Terminology & Glossary, Document Number WFMC-TC-1011, Jan 1999.