Net Theory and Workflow Models
they allow to give to workflow models a univocal non ambiguous semantics;
they have an easy to read graphical representation;
they may support a hierarchy of abstraction levels;
they are executable models, well suited for both simulation and software specifcation.
they are too rigid since, by imposing an explicit flow of actions, they hinder users in overcoming breakdowns;
they are too complicated, since their design requires a professional expert and cannot be performed by users themselves.
they should be easily modifiable, supporting both the automatic verification of change correctness and safe change enactment on the ongoing instances ;
they should support exception handling, allowing users to follow exceptional paths on the basis of the policy of their organization, without making models too complicated;
they should offer multiple diverse views of the workflow to their diverse users (perfomers, managers, customers, designers).
- 1.K. R. Abbott, S. K. Sarin: Experiences with Workflow Management: Issues for the Next Generation. In R. Furuta and C. Neuwirth (eds.): CSCW’94. Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, October 22-26, 1994. New York, NY: ACM Press, pp. 113–120, 1994.Google Scholar
- 2.A. Agostini, G. De Michelis: Simple Workflow Models. In Workflow Management: Netbased Concepts, Models, Techniques and Tools, Computing Science Report 98/07, Eindhoven, The Netherlands: Eindhoven University of Technology, pp. 146–164, 1998.Google Scholar
- 3.A. Agostini, G. De Michelis: A light workflow management system using simple process models. Computer Supported Cooperative Work (CSCW) The Journal of Collaborative Computing, 1999, (to appear).Google Scholar
- 4.E. Badouel, Ph. Darondeau: Theory of Regions. In W. Reisig, G. Rozenberg (eds.): Lectures on Petri Nets I: Basic Models. LNCS 1491, Berlin, Germany: Springer Verlag, pp. 529–586, 1998.Google Scholar
- 5.G. De Michelis, C. A. Ellis: Computer Supported Cooperative Work and Petri Nets. In W. Reisig, G. Rozenberg (eds.): Lectures on Petri Nets II: Applications, LNCS 1492, Berlin, Germany: Springer Verlag, pp. 125–153, 1998.Google Scholar
- 6.C.A. Ellis, K. Keddara, G. Rozenberg: Dynamic Change within Workflow Systems. In N. Comstock, C. Ellis (eds.): COOCS’95. Proceedings of the Conference on Organizational Computing Systems, Milpitas, CA, August 13-16, 1995. New York, NY: ACM Press, pp. 10–21, 1995.Google Scholar
- 7.G. Rozenberg, J. Engelfriet: Elementary Net Systems. In W. Reisig, G. Rozenberg (eds.): Lectures on Petri Nets I: Basic Models. LNCS 1491, Berlin, Germany: Springer Verlag, pp. 12–121, 1998.Google Scholar