Comparing petri net and activity diagram variants for workflow modelling -A quest for reactive petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2472, Issue , 2003, Pages 321-351

  Eshuis, Rik ^a   Wieringa, Roel ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348155801     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40022-6_16     Document Type: Article

References (61)

1. W. van der Aalst, J. Desel, and A. Oberweis, editors. Business Process Management. LNCS 1806. Springer, 2000. 323, 348, 349
2. 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. 321, 323, 325, 333, 334
3. W.M.P. van der Aalst. Workflow verification: Finding control-flow errors using Petri-net-based techniques. In Aalst et al. [1], pages 161-183. 323, 333, 345
4. W.M.P. van der Aalst. Personal communication, 2001. 343
5. W.M.P. van der Aalst and T. Basten. Inheritance of workflows: An approach to tackling problems related to change. Theor. Comp. Sci., 270(1-2):125-203, 2001. 343
6. W.M.P. van der Aalst, K.M. van Hee, and G. J. Houben. Modelling workflow management systems with high-level Petri nets. In G. De Michelis, C. Ellis, andG. Memmi, editors, Proc. 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pages 31-50, 1994. 343, 345
7. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Advanced workflow patterns. In O. Etzion and P. Scheuermann, editors, Proc. CoopIS 2000, LNCS 1901, pages 18-29. Springer, 2000. 324
8. G. Agha, F. Decindio, and G. Rozenberg. Concurrent Object-Oriented Programming and Petri Nets. LNCS 2001. Springer, 2001. 323, 337
9. A. Agostini and G. de Michelis. A light workflow management system using simple process models. Computer Supported Cooperative Work, 9(3-4):335-363, 2000. 323, 345
10. P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional modeling of reactive systems using open nets. In K. G. Larsen and M. Nielsen, editors, Proc. CONCUR 2001, LNCS 2154, pages 502-518, 2001. 323, 334
11. G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Sci. of Comp. Prog., 19(2):87-152, 1992. 328
12. R. Bruni and U. Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation, 156(1-2):46-89, 2000. 323, 337
13. F. Casati, S. Ceri, S. Paraboschi, and G. Pozzi. Specification and implementation of exceptions in workflow management systems. ACM Transactions on Database Systems, 24(3):405-451, 1999. 332, 334
14. F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Conceptual Modeling ofWorkflows. In M.P. Papazoglou, editor, Proc. 14th Int. Object-Oriented and Entity-Relationship Modelling Conference (OOER'95), LNCS 1021, pages 341-354. Springer, 1995. 324, 328
15. S. Christensen and N. D. Hansen. Coloured Petri nets extended with channels for synchronous communication. Technical Report PB-390, Aarhus University, 1992. 323, 336, 337
16. E. M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999. 322
17. F. Dehne, R. Wieringa, and H. van de Zandschulp. Toolkit for conceptual modeling (TCM)-user's guide and reference. Technical report, University of Twente, 2000. Available at http://www.cs.utwente.nl/~tcm. 322
18. W. Deiters and V. Gruhn. Process management in practice applying the FUNSOFT net approach to large-scale processes. Autom. Softw. Eng., 5(1):7-25, 1998. 323, 345
19. J. Desel and T. Erwin. Modeling, simulation and analysis of business processes. In Aalst et al. [1], pages 129-141. 343
20. J. Desel and G. Juhás. What is a Petri net? Informal answers for the informed reader. In H. Ehrig, G. Juhás, J. Padberg, and G. Rozenberg, editors, Unifying Petri Nets, LNCS 2128, pages 1-27. Springer, 2001. 322
21. ebXML. http://www.ebxml.org. 332, 335
22. 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, L NCS 691, pages 1-16. Springer, 1993. 321, 323, 345
23. W. Emmerich and V. Gruhn. Software process modelling with FUNSOFT nets. Technical Report 47, Dept. of Computer Science, University of Dortmund, 1990. 344
24. H.-E. Eriksson and M. Penker. Business Modeling With UML: Business Patterns at Work. Wiley Computer Publishing, 2000. 332
25. R. Eshuis and R. Wieringa. Verification support for workflow design with UML activity graphs. In Proc. Int. Conf. on Software Eng. (ICSE), 2002. To appear. 322, 329
26. R. Eshuis and R. Wieringa. A formal semantics for UMLact ivity diagrams. Technical Report TR-CTIT-01-04, University of Twente, 2001. 323, 330
27. R. Eshuis and R. Wieringa. A real-time execution semantics for UMLact ivity diagrams. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 76-90. Springer, 2001. 322, 328, 330, 339, 340, 342
28. R. Eshuis and R. Wieringa. An execution algorithm for UMLact ivity graphs. In M. Gogolla and C. Kobryn, editors, Proc. UML- 2001, LNCS 2185, pages 47-61. Springer, 2001. 322, 328, 330, 339, 340
29. A. Foremniak and P. H. Starke. Analyzing and reducing simultaneous firing in signal-event nets. Fundamenta Informaticae, 43:81-104, 2000. 323, 336, 337, 338, 340, 347
30. N. De Francesco, U. Montanari, and G. Ristori. Modelling concurrent accesses to shared data via Petri nets. In U. Montanari and E.R. Olderog, editors, Proc. PROCOMET'94, pages 489-508. North-Holland, 1994. 323, 341, 342
31. H. J. Genrich. Predicate/transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, LNCS 254, pages 207-247. Springer, 1987. 341, 345
32. H. J. Genrich and P. S. Thiagarajan. A theory of bipolar synchronization schemes. Theoretical Computer Science, 30(3):241-318, 1984. 342
33. A. Geppert, D. Tombros, and K.R. Dittrich. Defining the semantics of reactive components in event-driven workflow execution with event histories. Information Systems, 23(3-4):235-252, 1998. 332, 334
34. P. Grefen and R. Remmerts de Vries. A reference architecture for workflow management systems. Journal of Data & Knowledge Engineering, 27(1):31-57, 1998. 324, 328
35. C. Hagen and G. Alonso. Beyond the black box: Event-based inter-process communication in process support systems. In Proc. 19th Int. Conf. on Distributed Computing Systems (ICDCS '99), pages 450-457. IEEE, 1999. 332, 334
36. H.-M. Hanisch and A. Lüder. A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae, 41(4):415-431, 2000. 323, 337
37. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996. 322, 323, 328, 330, 331, 338
38. D. Harel and A. Pnueli. On the development of reactive systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 477-498. Springer, 1985. 327
39. IBM. MQ Series Workflow (Websphere). http://www.ibm.com. 347
40. K. Jensen. Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer-Verlag, 1992. 323, 341
41. S. Joosten. Trigger Modelling for Workflow Analysis. In G. Chroust and A. Benczur, editors, Proceedings CON'94, pages 236-247, Vienna, October 1994. 333, 334
42. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UMLst atechart diagrams. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. FMOODS'99, IFIP TC6/WG6.1, pages 331-347. Kluwer, 1999. 331
43. N. L. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684-707, 1994. 332
44. Software Ley. Cosa. http://www.cosa.de. 347
45. F. Leymann and D. Roller. Production Workflow-Concepts and Techniques. Prentice Hall, 2000. 323, 324, 328, 347
46. M. Löwe, D. Wikarski, and Y. Han. Higher-order object nets and their application to workflow modeling. Technical Report 95-34, Informatik, Technical University Berlin, 1995. 323, 337
47. U. Montanari and F. Rossi. Contextual nets. Acta Inf., 32(6):545-596, 1995. 323, 335, 341
48. T. Murata. Petri nets: Properties, analysis, and applications. Proc. of the IEEE, 77(4):541-580, 1989. 322, 323
49. A. Oberweis, R. Schätzle, W. Stucky, W. Weitz, and G. Zimmermann. INCOME/WF: A Petri net based approach to workflow management. In H. Krallmann, editor, Wirtschaftsinformatik '97, pages 557-580. Springer, 1997. 323, 345
50. OMG. Workflow management facility specification. OMG Document Number formal/00-05-02, 2000. Available at http://www.omg.org. 332, 334
51. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, 1981. 322, 323
52. A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, L NCS 526, pages 244-265. Springer, 1991. 330, 331, 338, 339, 346
53. W. Reisig. Petri Nets: An Introduction. Number 4 in EATCS Monographs on Theoretical Computer Science. Springer, 1985. 323
54. W. Reisig and G. Rozenberg, editors. Lectures on Petri nets I: Advances in Petri nets, LNCS 1491. Springer, 1998. 323
55. K. Salimifard and M. Wright. Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research, 134(3):218-230, 2001. 323
56. UMLR evision Taskforce. OMG UML Specification v. 1.4. Object Management Group, 2001. Available at http://www.omg.org. 322, 323, 325, 328, 330, 338
57. J. Widom and S. Ceri, editors. Active Database Systems-Triggers and Rules For Advanced Database Processing. Morgan Kaufmann Publishers, 1996. 332
58. R. J. Wieringa. Design Methods for Software Systems: Yourdon, Statemate and the UML. Morgan Kaufmann, 2002. To be published. 327
59. D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In F.N. Afrati and P. Kolaitis, editors, 6th International Conference on Database Theory (ICDT), LNCS 1186. Springer, 1997. 323, 332, 334
60. Workflow Management Coalition. The workflow reference model (WFMC-TC-1003), 1995. Available at www.wfmc.org. 323, 324, 328, 348
61. Workflow Management Coalition. Workflow management coalition specification-terminology & glossary (WFMC-TC-1011), 1999. Available at www.wfmc.org. 324