{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:46:22Z","timestamp":1757313982442},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_14","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"281-294","source":"Crossref","is-referenced-by-count":13,"title":["Open Petri Nets as Semantic Model for Workflow Integration"],"prefix":"10.1007","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"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\u2013157 (October 1999)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"3","key":"14_CR3","first-page":"335","volume":"34","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Interorganizational workflows: An approach based on message sequence charts and Petri nets. Systems Analysis - Modelling - Simulation\u00a034(3), 335\u2013367 (1999)","journal-title":"Systems Analysis - Modelling - Simulation"},{"key":"14_CR4","unstructured":"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)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"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\u201329 (2000)","DOI":"10.1007\/10722620_2"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45341-5_10","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2001","unstructured":"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.\u00a02068, pp. 140\u2013156. Springer, Heidelberg (2001)"},{"key":"14_CR7","volume-title":"In terms of nets. PhD thesis","author":"T. Basten","year":"2000","unstructured":"Basten, T.: In terms of nets. PhD thesis. Eindhoven University of Technology, The Netherlands (2000)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-44685-0_34","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Baldan","year":"2001","unstructured":"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.\u00a02154, pp. 502\u2013518. Springer, Heidelberg (2001), Full version available at, \n                  \n                    ftp:\/\/ftp.di.unipi.it\/pub\/techreports\/TR-01-21.ps.Z"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 1992","author":"E. Best","year":"1992","unstructured":"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.\u00a0609, pp. 21\u201369. Springer, Heidelberg (1992)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science\u00a01, 361\u2013404 (1991)","journal-title":"Math. Struct. in Comp. Science"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Golz","year":"1983","unstructured":"Golz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control\u00a057, 125\u2013147 (1983)","journal-title":"Information and Control"},{"key":"14_CR13","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Reading (1999)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E. Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 235\u2013252. Springer, Heidelberg (1997)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45594-9_15","volume-title":"Business Process Management","author":"E. Kindler","year":"2000","unstructured":"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.\u00a01806, pp. 235\u2013253. Springer, Heidelberg (2000)"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation\u00a088(2), 105\u2013155 (1990)","journal-title":"Information and Computation"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-60218-6_13","volume-title":"CONCUR \u201995 Concurrency Theory","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Priese, L., Sassone, V.: Characterizing Behavioural Congruences for Petri Nets. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 175\u2013189. Springer, Heidelberg (1995)"},{"key":"14_CR18","unstructured":"Object Management Group. UML specification version 1.4 (2001), \n                  \n                    http:\/\/www.celigent.com\/omg\/umlrtf\/"},{"key":"14_CR19","first-page":"217","volume":"2","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. MSCS\u00a02, 217\u2013256 (1995)","journal-title":"MSCS"},{"key":"14_CR20","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,24]],"date-time":"2019-03-24T01:38:13Z","timestamp":1553391493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}