Skip to main content
SpringerLink
Log in

Open Petri Nets as Semantic Model for Workflow Integration

  • Chapter
Petri Net Technology for Communication-Based Systems

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

Abstract

The integration of workflows of different enterprises requires to resolve conceptual inconsistencies which are best dealt with using a high-level modelling language. Languages like the UML provide dedicated notations for workflow modelling (e.g., by means of activity diagrams), but due to the lack of formal semantics, only little support for detecting and resolving inconsistencies can be provided.

We propose open Petri nets as a suitable semantic model for workflows spanning different enterprises, and discuss the use of this model to formalise a notion of consistent evolution.

Research partially supported by the ESPRIT Working Group APPLIGRAPH (Applications of Graph Transformation).

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.M.P., Anyanwu, K.: Inheritance of interorganizational workflows to enable business-to-business E-commerce. In: Proceedings of the Second International Conference on Telecommunications and Electronic Commerce (ICTEC 1999), Nashville, Tennessee, pp. 141–157 (October 1999)

    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.: Interorganizational workflows: An approach based on message sequence charts and Petri nets. Systems Analysis - Modelling - Simulation 34(3), 335–367 (1999)

    MATH  Google Scholar 

  4. van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Computing Science Reports 99/06, Eindhoven University of Technology (1999)

    Google Scholar 

  5. van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced workflow patterns. In: Conference on Cooperative Information Systems, pp. 18–29 (2000)

    Google Scholar 

  6. van der Aalst, W.M.P., Weske, M.: The P2P approach to interorganizational workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140–156. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Basten, T.: In terms of nets. PhD thesis. Eindhoven University of Technology, The Netherlands (2000)

    Google Scholar 

  8. 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), Full version available at, ftp://ftp.di.unipi.it/pub/techreports/TR-01-21.ps.Z

    Chapter  Google Scholar 

  9. Best, E., Devillers, R., Hall, J.: The Box Calculus: a new causal algebra with multi-label communication. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 21–69. Springer, Heidelberg (1992)

    Google Scholar 

  10. Ehrig, H., Habel, A., Kreowski, H.-J., Parisi Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science 1, 361–404 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  11. Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167–180. IEEE, Los Alamitos (1973)

    Chapter  Google Scholar 

  12. Golz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125–147 (1983)

    Article  MathSciNet  Google Scholar 

  13. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Reading (1999)

    Google Scholar 

  14. Kindler, E.: A compositional partial order semantics for Petri net components. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 235–252. Springer, Heidelberg (1997)

    Google Scholar 

  15. Kindler, E., Martens, A., Reisig, W.: Inter-operability of workflow applications: Local criteria for global soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  16. Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation 88(2), 105–155 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  17. Nielsen, M., Priese, L., Sassone, V.: Characterizing Behavioural Congruences for Petri Nets. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 175–189. Springer, Heidelberg (1995)

    Google Scholar 

  18. Object Management Group. UML specification version 1.4 (2001), http://www.celigent.com/omg/umlrtf/

  19. Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. MSCS 2, 217–256 (1995)

    MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Mathematics and Computer Science, University of Paderborn, D-33095, Paderborn, Germany

    Reiko Heckel

Authors
  1. Reiko Heckel
    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

Heckel, R. (2003). Open Petri Nets as Semantic Model for Workflow Integration. 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_14

Download citation

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

  • 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