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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
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)
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)
Basten, T.: In terms of nets. PhD thesis. Eindhoven University of Technology, The Netherlands (2000)
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
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)
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)
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)
Golz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125–147 (1983)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Reading (1999)
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)
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)
Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation 88(2), 105–155 (1990)
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)
Object Management Group. UML specification version 1.4 (2001), http://www.celigent.com/omg/umlrtf/
Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. MSCS 2, 217–256 (1995)
Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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