{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T19:46:30Z","timestamp":1790279190909,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540424970","type":"print"},{"value":"9783540446859","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44685-0_34","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T06:16:21Z","timestamp":1186726581000},"page":"502-518","source":"Crossref","is-referenced-by-count":24,"title":["Compositional Modeling of Reactive Systems Using Open Nets"],"prefix":"10.1007","author":[{"given":"P.","family":"Baldan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,8,22]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"P. Baldan, A. Corradini, H. Ehrig, and R. Heckel. Compositional modeling of reactive systems using open nets [extended version]. The paper can be downloaded at the address http:\/\/www.di.unipi.it\/baldan\/Papers\/Soft-copy-ps\/open-ext.ps.gz , 2001.","DOI":"10.1007\/3-540-44685-0_34"},{"key":"34_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. G. Hall. The Petri box calculus: a new causal algebra with multi-label communication. In G. Rozemberg, editor, Advances in Petri Nets, volume 609 of LNCS, pages 21\u201369. Springer Verlag, 1992."},{"key":"34_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/3-540-61604-7_69","volume-title":"Proceedings of CONCUR\u201996","author":"A. Corradini","year":"1996","unstructured":"A. Corradini. Concurrent graph and term graph rewriting. In U. Montanari and V. Sassone, editors, Proceedings of CONCUR\u201996, volume 1119 of LNCS, pages 438\u2013464. Springer Verlag, 1996."},{"key":"34_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Springer Verlag, Berlin, 1985."},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Golz","year":"1983","unstructured":"U. Golz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125\u2013147, 1983.","journal-title":"Information and Control"},{"key":"34_CR6","unstructured":"R. Heckel. Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, TU Berlin, 1998."},{"key":"34_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets","author":"E. Kindler","year":"1997","unstructured":"E. Kindler. A compositional partial order semantics for Petri net components. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, volume 1248 of LNCS, pages 235\u2013252. Springer Verlag, 1997."},{"issue":"1\u20132","key":"34_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00180-1","volume":"211","author":"M. Koutny","year":"1999","unstructured":"M. Koutny and E. Best. Operational and denotational semantics for the box algebra. Theoretical Computer Science, 211(1\u20132):1\u201383, 1999.","journal-title":"Theoretical Computer Science"},{"key":"34_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-48654-1_19","volume-title":"Proceedings of CONCUR\u2019 94","author":"M. Koutny","year":"1994","unstructured":"M. Koutny, J. Esparza, and E. Best. Operational semantics for the Petri box calculus. In B. Jonsson and J. Parrow, editors, Proceedings of CONCUR\u2019 94, volume 836 of LNCS, pages 210\u2013225. Springer Verlag, 1994."},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88:105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"34_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science, 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"34_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-60218-6_13","volume-title":"Proceedings of CONCUR\u201995","author":"M. Nielsen","year":"1995","unstructured":"M. Nielsen, L. Priese, and V. Sassone. Characterizing Behavioural Congruences for Petri Nets. In Proceedings of CONCUR\u201995, volume 962 of LNCS, pages 175\u2013189. Springer Verlag, 1995."},{"issue":"2","key":"34_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5(2):217\u2013256, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"34_CR14","unstructured":"J. Padberg, L. Jansen, R. Heckel, and H. Ehrig. Interoperability in train control systems: Specification of scenarios using open nets. In Proc. IDPT, pages 17\u201328. Society for Design and Process Science, 1998."},{"issue":"1\u20132","key":"34_CR15","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0304-3975(97)00169-2","volume":"206","author":"L. Priese","year":"1998","unstructured":"L. Priese and H. Wimmel. A uniform approach to true-concurrency and interleaving semantics for Petri nets. Theoretical Computer Science, 206(1\u20132):219\u2013256, 1998.","journal-title":"Theoretical Computer Science"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"issue":"1","key":"34_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W. Aalst van der","year":"1998","unstructured":"W. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"3","key":"34_CR18","first-page":"335","volume":"34","author":"W. Aalst van der","year":"1999","unstructured":"W. van der Aalst. Interorganizational workflows: An approach based on message sequence charts and Petri nets. System Analysis and Modeling, 34(3):335\u2013367, 1999.","journal-title":"System Analysis and Modeling"},{"key":"34_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS, pages 325\u2013392. Springer Verlag, 1987."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2001 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44685-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:11:49Z","timestamp":1556734309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44685-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424970","9783540446859"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44685-0_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}