The application of Petri nets to workflow management

Journal of Circuits, Systems and Computers

Volumn 8, Issue 1, 1998, Pages 21-66

  Van Der Aalst, W M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002719897     PISSN: 02181266     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218126698000043     Document Type: Article

References (40)

1. K. Hayes and K. Lavery, Workflow management software: the business opportunity, Technical report, Ovum Ltd, London, 1991.
2. T. M. Koulopoulos, The Workflow Imperative, Van Nostrand Reinhold, New York, 1995.
3. P. Lawrence, ed., Workflow Handbook 1997, Workflow Management Coalition, John Wiley and Sons, New York, 1997.
4. W. M. P. van der Aalst, "Three good reasons for using a petri-net-based workflow management system", in S. Navathe and T. Wakayama (eds.), Proc. Int. Working Conf. Information and Process Integration in Enterprises (IPIC'96), Cambridge, Massachusetts, Nov. 1996, pp. 179-201.
5. C. A. Petri, Kommunikation mit Automaten, PhD thesis, Institut für instrumentelle Mathematik, Bonn, 1962.
6. W. M. P. van der Aalst, "Putting Petri nets to work in industry", Computers in Industry 25, 1 (1994) 45-54.
7. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, EATCS monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1996.
8. M. Wolf and U. Reimer (eds.), Proc. Int. Conf. Practical Aspects of Knowledge Management (PAKM'96), Workshop on Adaptive Workflow, Basel, Switzerland, Oct. 1996.
9. G. De Michelis, C. Ellis, and G. Memmi (eds.), Proc. Second Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, Zaragoza, Spain, June 1994.
10. C. Ellis, K. Keddara, and G. Rozenberg, "Dynamic change within workflow systems", in N. Comstock and C. Ellis (eds.), Conf. Organizational Computing Systems, ACM SIGOIS, ACM, Aug 1995, Milpitas, CA, pp. 10-21..
11. C. A. Ellis and G. J. Nutt, "Modelling and Enactment of Workflow Systems", in M. Ajmone Marsan (ed.), Application and Theory of Petri Nets 1993, Vol. 691 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1993, pp. 1-16.
12. W. M. P. van der Aalst and K. M. van Hee, Workflow Management: Modellen, Methoden en Systemen (in Dutch), Academic Service, Schoonhoven, 1997.
13. WFMC, Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011), Technical report, Workflow Management Coalition, Brussels, 1996.
14. S. Joosten, "Trigger modeling for workflow analysis", in G. Chroust and A. Benczur (eds.), Proc. CON'94: Workflow Management, Challenges, Paradigms and Products, Vienna, Oct. 1994, pp. 236-247.
15. T. Murata, "Petri nets: properties, analysis and applications", Proc. IEEE 77, 4 (1989) 541-580.
16. K. M. van Hee, Information System Engineering: A Formal Approach, Cambridge University Press, 1994.
17. R. Wild, Production and Operations Management: Principles and Techniques, Cassell, London, 1989.
18. M. Ajmone Marsan, G. Balbo, G. Conte, et al., Modeling with Generalized Stochastic Petri Nets, Wiley Series in Parallel Computing, Wiley, New York, 1995.
19. R. Valk, "Infinite Behaviour and Fairness", in W. Brauer, W. Reisig, and G. Rozenberg (eds.), Advances in Petri Nets 1986 Part I: Petri Nets, Central Models and their Properties, Vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1987, pp. 377-396.
20. K. Gostellow, V. Cerf, G. Estrin, and S. Volansky, "Proper termination of flow-of-control in programs involving concurrent processes", ACM Sigplan 7, 11 (1972) 15-27,
21. W. M. P. van der Aalst, "Verification of workflow nets," in P. Azema and G. Balbo (eds.), Application and Theory of Petri Nets 1997, Vol. 1248 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1997, pp. 407-426.
22. W. M. P. van der Aalst, "Structural characterizations of sound workflow nets", Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.
23. W. M. P. van der Aalst, "A class of Petri net for modeling and analyzing business processes", Computing Science Reports 95/26, Eindhoven University of Technology, Eindhoven, 1995.
24. P. A. Straub and C. Hurtado, "The simple control property of business process models", in XV Int. Conf. Chilean Computer Science Society, 1995.
25. A. Cheng, J. Esparza, and J. Palsberg, "Complexity results for 1-safe nets", in R. K. Shyamasundar (eds.), Foundations of Software Technology and Theoretical Computer Science, Vol. 761 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1993, pp. 326-337.
26. E. Best, "Structure theory of Petri nets: the free choice hiatus," in W. Brauer, W. Reisig, and G. Rozenberg (eds.), Advances in Petri Nets 1986 Part I: Petri Nets, Central Models and their Properties, Vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1987, pp. 168-206.
27. J. Desel and J. Esparza, "Free choice Petri nets", Vol. 40 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 1995.
28. J. Desel, "A proof of the Rank theorem for extended free-choice nets", in K. Jensen (ed.), Application and Theory of Petri Nets 1992, Vol. 616 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1992, pp. 134-153.
29. J. Esparza, "Synthesis rules for Petri nets, and how they can lead to new results", in J. C. M. Baeten and J. W. Klop (eds.), Proc. CONCUR 1990, Vol. 458 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, pp. 182-198.
30. M. H. T. Hack, Analysis Production Schemata by Petri Nets, Master's thesis, Massachusetts Institute of Technology, Cambridge, Mass., 1972.
31. J. Esparza and M. Silva, "Circuits, handles, bridges and nets", in G. Rozenberg (ed.), Advances in Petri Nets 1990, Vol. 483 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, pp. 210-242.
32. K. Barkaoui, J. M. Couvreur, and C. Dutheillet, "On liveness in extended non self-controlling nets", in G. De Michelis and M. Diaz (eds.), Application and Theory of Petri Nets 1995, Vol. 935 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1995, pp. 25-44.
33. Software-Ley, COSA User Manual, Software-Ley GmbH, Pullheim, Germany, 1996.
34. W. Reisig, "Petri nets: an introduction", Vol. 4 of Monographs in Theoretical Computer Science: An EATCS Series, Springer-Verlag, Berlin, 1985.
35. Pallas Athena, Protos User Manual, Pallas Athena BV, Plasmolen, The Netherlands, 1997.
36. Bakkenist Management Consultants, ExSpect 5.0 User Manual, 1996.
37. D. Hauschildt, H. M. W. Verbeek, and W. M. P. van der Aalst, "WOFLAN: A Petrinet-based Workflow Analyzer", Computing Science Reports 97/12, Eindhoven University of Technology, Eindhoven, 1997.
38. W. M. P. van der Aalst, D. Hauschildt, and H. M. W. Verbeek, "A Petri-net-based tool to analyze workflows", in B. Farwer, D. Moldt, and M. O. Stehr (eds.), Proc. Petri Nets in System Engineering (PNSE'97), University of Hamburg (FBI-HH-B-205/97), Hamburg, Sept. 1997, pp. 78-90,.
39. E. F. Codd, "A relational model for large shared data banks", Commun. ACM 13, 6 (1970) 377-387.
40. P. P. Chen, "The entity-relationship model: towards a unified view of data", ACM Trans. Database Systems 1 (1976) 9-36.