Verification of workflow task structures: a petri-net-based approach

Information Systems

Volumn 25, Issue 1, 2000, Pages 43-69

  Van Der Aalst, Wil M P ^a   Ter Hofstede, Arthur H M ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECISION SUPPORT SYSTEMS; ERROR CORRECTION; MANAGEMENT INFORMATION SYSTEMS; PETRI NETS; PROCESS CONTROL;

TASK STRUCTURES; WORKFLOW MANAGEMENT SYSTEMS;

DATA FLOW ANALYSIS;

EID: 0034156532     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(00)00008-9     Document Type: Article

References (52)

1. W.M.P. van der Aalst. Verification of workflow nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 407-426 (1997).
2. W.M.P. van der Aalst. Three good reasons for using a Petri-net-based workflow management system. In T. Wakayama et al., editor, Information and Process Integration in Enterprises: Rethinking Documents, Chapter 10, The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Norwell pp. 161-182 (1998).
3. W.M.P. van der Aalst. Finding errors in the design of a workflow process: A Petri-net-based approach. In W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors, Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), volume 98/7 of Computing Science Reports, Eindhoven University of Technology, Eindhoven, pp. 60-81, Lisbon, Portugal (1998).
4. W.M.P. van der Aalst. The application of Petri Nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66, (1998).
5. 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, editors, Proceedings of Petri Nets in System Engineering (PNSE'97), University of Hamburg (FBI-HH-B-205/97), Hamburg, pp. 78-90 (1997).
6. W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors. Proceedings of Workflow Management: Netbased Concepts, Models, Techniques and Tools (Wfm'98), Lisbon, Portugal, UNINOVA, Lisbon (1998).
7. N.R. Adam, V. Atluri, and W. Huang. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems, 10:131-158 (1998).
8. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom (1990).
9. A.P. Barros and A.H.M. ter Hofstede. Realizing the full potential of workflow modeling: A practical perspective. Journal of Information Technology, 3(2):59-86 (1997).
10. A.P. Barros, A.H.M. ter Hofstede, and H.A. Proper. Towards real-scale business transaction workflow modelling. In A. Olivé and J.A. Pastor, editors, Proceedings of the Ninth International Conference Caise'97 on Advanced Information Systems Engineering, volume 1250 of Lecture Notes in Computer Science, Springer Verlag, pp. 437-450, Barcelona, Spain (1997).
11. T. Basten. In Terms of Nets: Systems Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1998).
12. G. Berthelot. Checking properties of nets using transformations. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 19-40 (1986).
13. G. Berthelot. Transformations and decompositions of nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets 1986 Part I: Petri Nets, Central Models and their Properties, volume 254 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 360-376 (1987).
14. P.W.G. Bots. An Environment to Support Problem Solving. PhD thesis, Delft University of Technology, Delft, The Netherlands (1989).
15. F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Workflow evolution. Data & Knowledge Engineering, 24(3):211-238 (1998).
16. R. Casonato. Gartner Group Research Note 00057684, Production-class Workflow: A View of the Market, http://www.gartner.com (1998).
17. J.M. Colom and M. Silva. Improving the linearly based characterization of P/T nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 113-146 (1990).
18. J. Desel and J. Esparza. Free Choice Petri Nets, Volume 40 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge (1995).
19. C.A. Ellis. Information control nets: A mathematical model of office information flow. In Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, ACM Press, pp. 225-240, Boulder, Colorado (1979).
20. C.A. Ellis, K. Keddara, and G. RozenberG. Dynamic change within workflow systems. In N. Comstock and C. Ellis, editors, Conf. on Organizational Computing Systems, ACM SIGOIS, ACM, pp. 10 - 21, Milpitas, CA (1995).
21. C.A. Ellis and G.J. Nutt. Modelling and enactment of workflow systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 1-16 (1993).
22. D. Georgakopoulos, M. Hornick, and A. Sheth. An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases, 3:119-153 (1995).
23. K. Gostellow, V. Cerf, G. Estrin, and S. Volansky. Proper termination of flow-of-control in programs involving concurrent processes. ACM Sigplan, 7(11):15-27 (1972).
24. A.H.M. ter Hofstede and E.R. Nieuwland. Task structure semantics through process algebra. Software EngiNeering Journal, 8(1):14-20 (1993).
25. A.H.M. ter Hofstede and M.E. Orlowska. On the complexity of some verification problems in process control specifications. Computer Journal, 42(5):349-359 (1999).
26. A.H.M. ter Hofstede; M.E. Orlowska, and J. Rajapakse. Verification problems in conceptual workflow specifications. Data and Knowledge Engineering, 24(3):239-256 (1998).
27. S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press (1996).
28. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS monographs on Theoretical Computer Science, Springer-Verlag, Berlin (1996).
29. E. Kindler and W.M.P. van der Aalst. Liveness, fairness, and recurrence. Information Processing Letters. 70(6):269-274 (1999).
30. T.M. Koulopoulos. The Workflow Imperative. Van Nostrand Reinhold, New York, New York (1995).
31. P. Lawrence, editor. Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York, New York (1997).
32. G. De Michelis, C. Ellis, and G. Memmi, editors. Proceedings of the Second Workshop on Computer-supported Cooperative Work, Petri Nets and Related Formalisms, Zaragoza, Spain (1994).
33. K. Mortensen. Petri Nets Tools Database, Petri Net Home Page, http://www.daimi.au.dk/PetriNets/tools/db.html (1998).
34. T. Murata. Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580 (1989).
35. Pallas Athena. Protos User Manual. Pallas Athena BV, Plasmolen, The Netherlands (1997).
36. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981).
37. C.A. Petri. Kommunikation Mit Automaten. PhD thesis, University of Bonn, Bonn, Germany (1962). (In German).
38. W. Reisig. Petri Nets: An Introduction, Volume 4 of Monographs in Theoretical Computer Science: An EATCS Series, Springer-Verlag, Berlin (1985).
39. W. Sadiq and M.E. Orlowska. Applying graph reduction techniques for identifying structural conflicts in process models. In Proceedings of the 11th International Conference on Advanced Information Systems Engineering (Caise '99), volume 1626 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 195-209 (1999).
40. W. Sadiq and M.E. Orlowska. Flowmake Product Information, Distributed Systems Technology Centre, Queensland, Australia, http://www.dstc.edu.au/Research/Projects/FlowMake/productinfo/index.html (1999).
41. T. Schäl. Workflow Management for Process Organisations, volume 1096 of Lecture Notes in Computer Science, Springer-Verlag, Berlin (1996).
42. A. Sheth, K. Kochut, and J, Miller. Large Scale Distributed Information Systems (LSDIS) Laboratory, METEOR project page, http://lsdis.cs.uga.edu/proj/meteor/meteor.html.
43. M. Silva and R. Valette. Petri nets and flexible manufacturing. In G. Rozenberg, editor, Advances in Petri Nets 1989, volume 424 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 274-417 (1990).
44. Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, Germany (1996).
45. Staffware. Staffware 97 / GWD User Manual. Staffware plc, Berkshire, United Kingdom (1997).
46. R. Valette. Analysis of petri nets by stepwise refinements. Journal of Computer and System Sciences, 18:35-46 (1979).
47. E. Verbeek and W.M.P. van der Aalst. Woflan Home Page, Eindhoven University of Technology, Eindhoven, The Netherlands, http://www.win.tue.nl/~woflan (1999).
48. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes Using Woflan. Computing Science Report 99/02, Eindhoven University of Technology, Eindhoven (1999).
49. M. Voorhoeve. Modeling and verification of workflow nets. In W.M.P. van der Aalst, G. De Michelis, and C.A. Ellis, editors, Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (Wfm'98), volume 98/7 of Computing Science Reports, Eindhoven University of Technology, Eindhoven, pp. 96-108, Lisbon, Portugal (1998).
50. WFMC. Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels (1996).
51. G.M. Wijers and H. Heijes. Automated support of the modelling process: A view based on experiments with expert information engineers. In B. Steinholz, A. Søvberg, and L. Bergman, editors, Proceedings of the Second Nordic Conference Caise'90 on Advanced Information Systems Engineering, volume 436 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 88-108, Stockholm, Sweden (1990).
52. G.M. Wijers, A.H.M. ter Hofstede, and N.E. van Oosterom. Representation of information modelling knowledge. In V.-P. Tahvanainen and K. Lyytinen, editors, Next Generation CASE Tools, volume 3 of Studies in Computer and Communication Systems, IOS Press, pp. 167-223 (1992).