{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:17Z","timestamp":1725664097200},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:32:27Z","timestamp":1330259547000},"page":"103-120","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["A class of composable high level Petri nets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Hans","family":"Fleischhack","sequence":"additional","affiliation":[]},{"given":"Wojciech","family":"Fraczak","sequence":"additional","affiliation":[]},{"given":"Richard P.","family":"Hopkins","sequence":"additional","affiliation":[]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"8_CR1","unstructured":"Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen. BI-Wissenschaftsverlag, 1990."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Eike Best, Raymond Devillers, and Jon Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. In Vol. 609 of LNCS, 21\u201369. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"8_CR3","unstructured":"Eike Best and Hans Fleischhack: PEP \u2014 Programming Environment Based on Petri Nets (project supported by the Deutsche Forschungsgemeinschaft, 1993\u20131994)."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel and Elisabeth Pelz: An M-net Semantics of B(PN)\n2. To appear in STRICT, Berlin, May 1995.","DOI":"10.1007\/978-1-4471-3078-9_6"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Eike Best and Richard P. Hopkins: B(PN)\n2 \u2014 a Basic Petri Net Programming Notation. In Proc. of PARLE, Springer LNCS, June 1993.","DOI":"10.1007\/3-540-56891-3_30"},{"key":"8_CR6","unstructured":"Didier Buchs and Nicolas Guelfi: CO-OPN: A Concurrent Object-Oriented Petri Nets Approach for System Specification. In Proc. of 12th ICPN, Springer LNCS, 1991, also LRI Technical Report 616, Orsay, 1990."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"J\u00f6rg Desel and Javier Esparza: Free Choice Petri Nets. Cambridge University Press, Tracts in Theoretical Computer Science, 1994.","DOI":"10.1017\/CBO9780511526558"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Soren Christensen and Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. In Vol. 609 of LNCS, 113\u2013133. Springer Verlag, 1992.","DOI":"10.1007\/3-540-55676-1_7"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Javier Esparza: Model Checking based on Branching Processes. Hildesheimer Informatik-Bericht (December 1992). Published as: J. Esparza: Model Checking Using Net Unfoldings. Proceedings of TAPSOFT, M.C. Gaudel, J.P. Jouannaud (ed.), In Vol. 668 of LNCS, 613\u2013628, 1993. To appear in Science of Computer Programming.","DOI":"10.1007\/3-540-56610-4_93"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hartmann Genrich: Predicate-transition Nets. In Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I, LNCS Vol.254, Springer-Verlag, 207\u2013247, 1987.","DOI":"10.1007\/978-3-540-47919-2_9"},{"key":"8_CR11","unstructured":"Kurt Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS Monographs on Theoretical Computer Science, 1992."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Hanna Klaudel and Elisabeth Pelz: Communication as Unification in the Petri Box Calculus. To appear in FCT'95, Dresden, August 1995.","DOI":"10.1007\/3-540-60249-6_62"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Robin Milner: A Calculus of Communicating Systems. Vol. 92 of LNCS. Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR14","unstructured":"Robin Milner: Communication and Concurrency. Prentice Hall, 1989."},{"key":"8_CR15","unstructured":"Giuseppe Pinna: Petri Nets and Their Composition Problem. PhD Thesis: TD-2\/90, Dipartimento di Informatica, Universita degli Studi di Pisa, March 1990."},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Wolfgang Reisig: Petri Nets and Algebraic Specifications. SFB-Bericht 342\/1\/90\/B (March 90). Theoretical Computer Science Vol.80, 1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"8_CR17","unstructured":"Einar Smith: A Primer on High-Level Petri-Net Theory, Informatik-Bericht Nr. 25 der Humboldt-Universit\u00e4t zu Berlin, 1993."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Einar Smith and Wolfgang Reisig: The Semantics of a Net is a Net \u2014 an Exercise in General Net Theory. Advances in Petri Nets 87, LNCS, Springer-Verlag, 461\u2013480, 1987.","DOI":"10.1007\/978-3-642-72822-8_29"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Peter H. Starke: Analyse von Petrinetz-Modellen. Verlag Teubner, 1990.","DOI":"10.1007\/978-3-663-09262-9"},{"volume-title":"Th\u00e8se de 3\u00e8me cycle","year":"1985","author":"J. Vautherin","key":"8_CR20","unstructured":"Jacques Vautherin: Un mod\u00e8le algebrique, bas\u00e9 sur les r\u00e9seaux de Petri, pour l'\u00e9tude des syst\u00e8mes parall\u00e8les; Th\u00e8se de 3\u00e8me cycle, LRI, Orsay, 1985."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Jacques Vautherin: Parallel systems specification with colored Petri nets and algebraic specification, In Vol. 266 of LNCS, 1987.","DOI":"10.1007\/3-540-18086-9_31"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:23:03Z","timestamp":1558254183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}