{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:39:02Z","timestamp":1773653942550,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540631392","type":"print"},{"value":"9783540691877","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:08:18Z","timestamp":1330297698000},"page":"235-252","source":"Crossref","is-referenced-by-count":41,"title":["A compositional partial order semantics for Petri net components"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and Leslie Lamport. Composing specifications. In J.W. de Bakker and W.-P. de Roever, editors, Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, LNCS 430. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9"},{"key":"14_CR2","unstructured":"Mart\u00edn Abadi and Leslie Lamport. Conjoining specifications. Research Report 118, Digital Equipment Corporation, System Research Center, December 1993."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Howard Barringer, Ruurd Kuiper, and Amir Pnueli. Now you may compose temporal logic specifications. In 16th annual ACM Symposium on Theory of Computing, pages 51\u201363. ACM, April 1984.","DOI":"10.1145\/800057.808665"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bernd Baumgarten. On internal and external characterizations of PT-net building block behaviour. In G. Rozenberg, editor, Advances in Petri Nets 1988, LNCS 340, pages 44\u201361. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-50580-6_23"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and F.G. Hall. The box calculus: A new causal algebra with multi-label communication. In G. Rozenberg, editor, Advances in Petri nets 1992, LNCS 609, pages 21\u201369. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Eike Best and C\u00e9sar Fern\u00e1ndez. Nonsequential Processes, EATCS Monographs on Theoretical Computer Science 13. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-73483-0"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"S\u00f8ren Christensen and Niels D. Hansen. Coloured Petri nets extended with channels for synchronous communication. In R. Valette, editor, Application and Theory of Petri Nets 1994, LNCS 815, pages 159\u2013178. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58152-9_10"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125\u2013147, 1983.","journal-title":"Information and Control"},{"key":"14_CR10","first-page":"262","volume-title":"LNCS 619","author":"D. Gomm","year":"1993","unstructured":"Dominik Gomm, Ekkart Kindler, Barbara Paech, and Rolf Walter. Compositional liveness properties of EN-systems. In M. Ajmone Marsan, editor, Applications and Theory of Petri Nets 1993, 14th International Conference, LNCS 619, pages 262\u2013281, Chicago, Illinois, USA, June 1993. Springer-Verlag."},{"key":"14_CR11","first-page":"321","volume-title":"Information Processing","author":"C. B. Jones","year":"1983","unstructured":"Cliff. B. Jones. Specification and design of (parallel) programs. In R.E.A. Mason, editor, Information Processing, pages 321\u2013332. IFIP, Elsevier Science Publishers B.V. (North Holland), 1983."},{"key":"14_CR12","unstructured":"Ekkart Kindler. Modularer Entwurf verteilter Systeme mit Petrinetzen, Edition Versal 1. Bertz Verlag, December 1995. Dissertation, Technische Universit\u00e4t M\u00fcnchen."},{"key":"14_CR13","first-page":"16","volume":"51","author":"E. Kindler","year":"1996","unstructured":"Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16\u201331, December 1996.","journal-title":"Petri Net Newsletter"},{"key":"14_CR14","volume-title":"Informatik-Berichte 63","author":"E. Kindler","year":"1996","unstructured":"Ekkart Kindler, Wolfgang Reisig, Hagen V\u00f6lzer, and Rolf Walter. Petri net based verification of distributed algorithms: An example. Informatik-Berichte 63, Humboldt-Universit\u00e4t zu Berlin, May 1996."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-1-4471-3078-9_14","volume-title":"Structures in Concurrency Theory","author":"E. Kindler","year":"1995","unstructured":"Ekkart Kindler and Rolf Walter, Message passing mutex. In J. Desel, editor, Structures in Concurrency Theory, Workshops in Computing, pages 205\u2013219, Berlin, May 1995. Springer-Verlag."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Ekkart Kindler and Rolf Walter. Mutex needs fairness. Information Processing Letters, 1997. to appear.","DOI":"10.1016\/S0020-0190(97)00033-1"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Antoni Mazurkiewicz. Compositional semantics of pure place\/transition systems. In G. Rozenberg, editor, Advances in Petri Nets 1988, LNCS 340, pages 307\u2013330. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-50580-6_35"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Mogens Nielsen, Lutz Priese, and Vladimiro Sassone. Characterizing behavioural congruences for Petri nets. In I. Lee and S.A. Smolka, editors, CONCUR '95: Concurrency Theory, LNCS 962, pages 175\u2013189. Springer-Verlag, August 1995.","DOI":"10.1007\/3-540-60218-6_13"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Paritosh K. Pandya. Some comments on the assumption-commitment framework for compositional verification of distributed programs. In de Bakker, de Roever, and Rozenberg, editors, Stepwise Refinement of Distributed Systems, LNCS 430, pages 622\u2013640. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_81"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. In transition from global to modular temporal reasoning about programs. In K.R. Apt, editor, Logics and Models of Concurrent Systems, Series F: Computer and System Science 13, pages 123\u2013144. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"14_CR22","unstructured":"Lutz Priese and Harro Wimmel. On some compositional Petri net semantics. Fachberichte Informatik 20\/95, Universit\u00e4t Koblenz-Landau, 1995."},{"key":"14_CR23","unstructured":"Wolfgang Reisig. Das Verhalten verteilter Systeme. GMD-Bericht 170. Oldenbourg Verlag. 1987."},{"key":"14_CR24","unstructured":"Wolfgang Reisig. Elements of a temporal logic coping with concurrency. SFB-Bericht 342\/23\/92 A, Technische Universi\u00e4t M\u00fcnchen, November 1992."},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Wolfgang Reisig. Petri net models of distributed algorithms. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, LNCS 1000, pages 441\u2013454. Springer-Verlag, 1995.","DOI":"10.1007\/BFb0015259"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"C. Sibertin-Blanc. A client-server protocol for the composition of Petri nets. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14 th International Conference, LNCS 691, pages 377\u2013396. Springer-Verlag, June 1993.","DOI":"10.1007\/3-540-56863-8_57"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"C. Sibertin-Blanc. Cooperative nets. In R. Valette, editor, Application and Theory of Petri Nets, 15 th International Conference, LNCS 815, pages 471\u2013490. Springer-Verlag, June 1994.","DOI":"10.1007\/3-540-58152-9_26"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"Younes Souissi and G\u00e9rard Memmi. Composition of nets via a communication medium. In G. Rozenberg, editor, Advances in Petri Nets 1990, LNCS 483, pages 457\u2013470. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53863-1_34"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Antti Valmari. Compositional analysis with place-bordered subnets. In R. Valette, editor, Application and Theory of Petri Nets, LNCS 815, pages 531\u2013547. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58152-9_29"},{"key":"14_CR30","volume-title":"Informatik-Bericht 67","author":"R. Walter","year":"1996","unstructured":"R. Walter, H. V\u00f6lzer, T. Vesper, W. Reisig, E. Kindler, J. Freiheit, and J. Desel. Memorandum: Petrinetzmodelle zur Verifikation verteilter Algorithmen. Informatik-Bericht 67, Humboldt-Universit\u00e4t zu Berlin, July 1996."},{"key":"14_CR31","unstructured":"Harro Wimmel and Lutz Priese. An application of compositional Petri net semantics. Fachberichte Informatik 14\/96, Universit\u00e4t Koblenz-Landau, 1996."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:34:17Z","timestamp":1640950457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-63139-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}