Skip to main content
SpringerLink
Log in

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets

  • Chapter
Petri Net Technology for Communication-Based Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2472))

Abstract

Petri net variants are widely used as a workflow modelling technique. Recently, UML activity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this claim, we need to formalise the intended semantics of activity diagrams and then compare this with various Petri net semantics. In previous papers we have defined two formal semantics for UML activity diagrams that are intended for workflow modelling. In this paper, we discuss the design choices that underlie these two semantics and investigate whether these design choices can be met in low-level and high-level Petri net semantics. We argue that the main difference between the Petri net semantics and our semantics of UML activity diagrams is that the Petri net semantics models resource usage of closed, active systems that are non-reactive, whereas our semantics of UML activity diagrams models open, reactive systems. Since workflow systems are open, reactive systems, we conclude that Petri nets cannot model workflows accurately, unless they are extended with a syntax and semantics for reactivity.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W., Desel, J., Oberweis, A. (eds.): Business Process Management. LNCS, vol. 1806. Springer, Heidelberg (2000)

    Google Scholar 

  2. van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  3. van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: Aalst et al. [1], pp. 161–183

    Google Scholar 

  4. van der Aalst, W.M.P.: Personal communication (2001)

    Google Scholar 

  5. van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theor. Comp. Sci. 270(1-2), 125–203 (2001)

    Article  Google Scholar 

  6. van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling workflow management systems with high-level Petri nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proc. 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pp. 31–50 (1994)

    Google Scholar 

  7. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Advanced workflow patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18–29. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  8. Agha, G., Decindio, F., Rozenberg, G.: Concurrent Object-Oriented Programming and Petri Nets. LNCS, vol. 2001. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  9. Agostini, A., de Michelis, G.: A light workflow management system using simple process models. Computer Supported Cooperative Work 9(3-4), 335–363 (2000)

    Article  Google Scholar 

  10. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional modeling of reactive systems using open nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 502–518. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  11. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. of Comp. Prog. 19(2), 87–152 (1992)

    Article  MATH  Google Scholar 

  12. Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation 156(1-2), 46–89 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  13. Casati, F., Ceri, S., Paraboschi, S., Pozzi, G.: Specification and implementation of exceptions in workflow management systems. ACM Transactions on Database Systems 24(3), 405–451 (1999)

    Article  Google Scholar 

  14. Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Conceptual Modeling of Workflows. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol. 1021, pp. 341–354. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  15. Christensen, S., Hansen, N.D.: Coloured Petri nets extended with channels for synchronous communication. Technical Report PB-390, Aarhus University (1992)

    Google Scholar 

  16. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)

    Google Scholar 

  17. Dehne, F., Wieringa, R., van de Zandschulp, H.: Toolkit for conceptual modeling (TCM) — user’s guide and reference. Technical report, University of Twente (2000), Available at http://www.cs.utwente.nl/~tcm

  18. Deiters, W., Gruhn, V.: Process management in practice applying the FUNSOFT net approach to large-scale processes. Autom. Softw. Eng. 5(1), 7–25 (1998)

    Article  Google Scholar 

  19. Desel, J., Erwin, T.: Modeling, simulation and analysis of business processes. In: Aalst et al. [1], pp. 129–141

    Google Scholar 

  20. Desel, J., Juhás, G.: What is a Petri net? Informal answers for the informed reader. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 1–27. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  21. ebXML, http://www.ebxml.org

  22. Ellis, C.A., Nutt, G.J.: Modelling and Enactment of Workflow Systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 1–16. Springer, Heidelberg (1993)

    Google Scholar 

  23. Emmerich, W., Gruhn, V.: Software process modelling with FUNSOFT nets. Technical Report 47, Dept. of Computer Science, University of Dortmund (1990)

    Google Scholar 

  24. Eriksson, H.-E., Penker, M.: Business Modeling With UML: Business Patterns at Work. Wiley Computer Publishing, Chichester (2000)

    Google Scholar 

  25. Eshuis, R., Wieringa, R.: Verification support for workflow design with UML activity graphs. In: Proc. Int. Conf. on Software Eng., ICSE (2002) (to appear)

    Google Scholar 

  26. Eshuis, R., Wieringa, R.: A formal semantics for UML activity diagrams. Technical Report TR-CTIT-01-04, University of Twente (2001)

    Google Scholar 

  27. Eshuis, R., Wieringa, R.: A real-time execution semantics for UML activity diagrams. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 76–90. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  28. Eshuis, R., Wieringa, R.: An execution algorithm for UML activity graphs. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 47–61. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  29. Foremniak, A., Starke, P.H.: Analyzing and reducing simultaneous firing in signal-event nets. Fundamenta Informaticae 43, 81–104 (2000)

    MATH  MathSciNet  Google Scholar 

  30. De Francesco, N., Montanari, U., Ristori, G.: Modelling concurrent accesses to shared data via Petri nets. In: Montanari, U., Olderog, E.R. (eds.) Proc. PROCOMET 1994, pp. 489–508. North-Holland, Amsterdam (1994)

    Google Scholar 

  31. Genrich, H.J.: Predicate/transition nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 207–247. Springer, Heidelberg (1987)

    Google Scholar 

  32. Genrich, H.J., Thiagarajan, P.S.: A theory of bipolar synchronization schemes. Theoretical Computer Science 30(3), 241–318 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  33. Geppert, A., Tombros, D., Dittrich, K.R.: Defining the semantics of reactive components in event-driven workflow execution with event histories. Information Systems 23(3-4), 235–252 (1998)

    Article  Google Scholar 

  34. Grefen, P., Remmerts de Vries, R.: A reference architecture for workflow management systems. Journal of Data & Knowledge Engineering 27(1), 31–57 (1998)

    Article  MATH  Google Scholar 

  35. Hagen, C., Alonso, G.: Beyond the black box: Event-based inter-process communication in process support systems. In: Proc. 19th Int. Conf. on Distributed Computing Systems (ICDCS 1999), pp. 450–457. IEEE, Los Alamitos (1999)

    Google Scholar 

  36. Hanisch, H.-M., Lüder, A.: A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415–431 (2000)

    MATH  Google Scholar 

  37. Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)

    Article  Google Scholar 

  38. Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, pp. 477–498. Springer, Heidelberg (1985)

    Google Scholar 

  39. IBM. MQ Series Workflow (Websphere), http://www.ibm.com

  40. Jensen, K.: Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  41. Joosten, S.: Trigger Modelling for Workflow Analysis. In: Chroust, G., Benczur, A. (eds.) Proceedings CON 1994, Vienna, pp. 236–247 (October 1994)

    Google Scholar 

  42. Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) Proc. FMOODS 1999, IFIP TC6/WG6.1, pp. 331–347. Kluwer, Dordrecht (1999)

    Google Scholar 

  43. Leveson, N.L., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Transactions on Software Engineering 20(9), 684–707 (1994)

    Article  Google Scholar 

  44. Software Ley. Cosa, http://www.cosa.de

  45. Leymann, F., Roller, D.: Production Workflow — Concepts and Techniques. Prentice Hall, Englewood Cliffs (2000)

    MATH  Google Scholar 

  46. Löwe, M., Wikarski, D., Han, Y.: Higher-order object nets and their application to workflow modeling. Technical Report 95-34, Informatik, Technical University Berlin (1995)

    Google Scholar 

  47. Montanari, U., Rossi, F.: Contextual nets. Acta Inf. 32(6), 545–596 (1995)

    MATH  MathSciNet  Google Scholar 

  48. Murata, T.: Petri nets: Properties, analysis, and applications. Proc. of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  49. Oberweis, A., Schätzle, R., Stucky, W., Weitz, W., Zimmermann, G.: INCOME/ WF: A Petri net based approach to workflow management. In: Krallmann, H. (ed.) Wirtschaftsinformatik 1997, pp. 557–580. Springer, Heidelberg (1997)

    Google Scholar 

  50. OMG. Workflow management facility specification. OMG Document Number formal/00-05-02 (2000), Available at http://www.omg.org

  51. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs (1981)

    Google Scholar 

  52. Pnueli, A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 244–265. Springer, Heidelberg (1991)

    Google Scholar 

  53. Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)

    MATH  Google Scholar 

  54. Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  55. Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research 134(3), 218–230 (2001)

    Article  Google Scholar 

  56. UML Revision Taskforce. OMG UML Specification v. 1.4. Object Management Group (2001), Available at http://www.omg.org

  57. Widom, J., Ceri, S. (eds.): Active Database Systems – Triggers and Rules For Advanced Database Processing. Morgan Kaufmann Publishers, San Francisco (1996)

    Google Scholar 

  58. Wieringa, R.J.: Design Methods for Software Systems: Yourdon, Statemate and the UML. Morgan Kaufmann, San Francisco (2002) (to be published)

    Google Scholar 

  59. Wodtke, D., Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, Springer, Heidelberg (1996)

    Google Scholar 

  60. Workflow Management Coalition. The workflow reference model, WFMC-TC- 1003 (1995), Available at http://www.wfmc.org

  61. Workflow Management Coalition. Workflow management coalition specification — terminology & glossary (WFMC-TC-1011) (1999), Available at http://www.wfmc.org

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, P.O.Box 217, NL-7500 AE, Enschede, The Netherlands

    Rik Eshuis & Roel Wieringa

Authors
  1. Rik Eshuis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roel Wieringa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Computergestützte InformationsSysteme (CIS), Technische Universität Berlin, Germany

    Herbert Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Eshuis, R., Wieringa, R. (2003). Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds) Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40022-6_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20538-8

  • Online ISBN: 978-3-540-40022-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation