Modeling and analyzing interorganizational work flows

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 1998-March, Issue , 1998, Pages 262-272

  Van Der Aalst, W M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; SYSTEMS ANALYSIS;

BUSINESS PROCESS; CROSS-ORGANIZATIONAL; EXTENDED ENTERPRISE; INDIVIDUAL CUSTOMERS; INTER-ORGANIZATIONAL WORKFLOWS; WORK-FLOWS;

SOCIETIES AND INSTITUTIONS;

EID: 85038589398     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.1998.657557     Document Type: Conference Paper

References (24)

1. W.M.P. van der Aalst. Petri-net-based Work- ow Management Software. In A. Sheth, editor, Proceedings of the NFS Workshop on Workow and Process Automation in Information Systems, pages 114-118, Athens, Georgia, May 1996.
2. W.M.P. van der Aalst. Structural Characterizations of Sound Workow Nets. Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.
3. W.M.P. van der Aalst. Three Good reasons for Using a Petri-net-based Workow Management System. In S. Navathe and T.Wakayama, editors, Proceedings of the International Working Con- ference on Information and Process Integration in Enterprises (IPIC'96), pages 179-201, Camebridge, Massachusetts, Nov 1996.
4. W.M.P. van der Aalst. On the Verification of Interorganizational Workows. Computing Science Reports 97/16, Eindhoven University of Technology, Eindhoven, 1997.
5. W.M.P. van der Aalst. Verification of Workow Nets. In P. Azema and G. Balbo, editors, Ap- plication and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407-426. Springer-Verlag, Berlin, 1997.
6. W.M.P. van der Aalst. The Application of Petri Nets to Workow Management. The Journal of Circuits, Systems and Computers, 1998 (to appear).
7. W.M.P. van der Aalst and K.M. van Hee. Work- ow Management: Modellen, Methoden en Syste- men (in Dutch). Academic Service, Schoonhoven, 1997.
8. CCITT. CCITT Recomendation Z.120: Message Sequence Chart (MSC92). Technical report, CCITT, Geneva, 1992.
9. J. Desel and J. Esparza. Free choice Petri nets, volume 40 of Cambridge tracts in theoretical com- puter science. Cambridge University Press, Cambridge, 1995.
10. C. Ellis, K. Keddara, and G. Rozenberg. Dynamic change within workow systems. In N. Comstock and C. Ellis, editors, Conf. on Organiza- tional Computing Systems, pages 10 - 21. ACM SIGOIS, ACM, Aug 1995. Milpitas, CA.
11. C.A. Ellis and G.J. Nutt. Modelling and Enactment of Workow Systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 1-16. Springer-Verlag, Berlin, 1993.
12. 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.
13. D. Hauschildt, H.M.W. Verbeek, and W.M.P. van der Aalst. WOFLAN: A Petri-net-basedWorkow Analyzer. Computing Science Reports 97/12, Eindhoven University of Technology, Eindhoven, 1997.
14. K. Hayes and K. Lavery. Workow management software: The business opportunity. Technical report, Ovum Ltd, London, 1991.
15. R. Kalakota and A.B. Whinston. Frontiers of Electronic Commerce. Addison-Wesley, Reading, Massachusetts, 1996.
16. T.M. Koulopoulos. The Workow Imperative. Van Nostrand Reinhold, New York, 1995.
17. P. Lawrence, editor. Workow Handbook 1997, Workow Management Coalition. John Wiley and Sons, New York, 1997.
18. M. Merz, B. Liberman, K. Muller-Jones, and W. Lamersdorf. Interorganisational Workow Management with Mobile Agents in COSM. In Proceedings of PAAM96 Conference on the Prac- tical Application of Agents and Multiagent Sys- tems, 1996.
19. 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, June 1994.
20. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4): 541-580, April 1989.
21. C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik, Bonn, 1962.
22. R. Valk. Infinite Behaviour and Fairness. 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, pages 377-396. Springer-Verlag, Berlin, 1987.
23. WFMC. Workow Management Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workow Management Coalition, Brussels, 1996.
24. M. Wolf and U. Reimer, editors. Proceedings of the International Conference on Practical Aspects of Knowledge Management (PAKM'96), Work- shop on Adaptive Workow, Basel, Switzerland, Oct 1996.