{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:39Z","timestamp":1725642039985},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_6","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:47:45Z","timestamp":1323640065000},"page":"85-100","source":"Crossref","is-referenced-by-count":23,"title":["An M-net Semantics of B(PN)2"],"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","reference":[{"key":"6_CR1","unstructured":"Eike Best, Raymond Devillers, Elisabeth Pelz, Arend Rensink, Manuel Silva and Enrique Teruel: Causal Calculi Based on Nets (CALIBAN). In this volume."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Eike Best and Richard P. Hopkins: B(PN)2 \u2013 a Basic Petri Net Programming Notation. In Proceedings of PARLE\u201993, Volume 694 of LNCS, pages 379-390. Springer Verlag, 1993","DOI":"10.1007\/3-540-56891-3_30"},{"volume-title":"Advances in Petri Nets 1992, Volume 609 of LNCS, pages 21\u201369. Springer Verlag","year":"1992","author":"E Best","key":"6_CR3","unstructured":"Eike Best, Raymond Devillers and Jon Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. In Advances in Petri Nets 1992, Volume 609 of LNCS, pages 21\u201369. Springer Verlag, 1992."},{"key":"6_CR4","unstructured":"Eike Best and Hans Fleischhack: PEP - Programming Environment Based on Petri Nets (project supported by the Deutsche Forschungsgemeinschaft, 1993\u20131994)."},{"volume-title":"Springer Verlag","year":"1995","author":"E Best","key":"6_CR5","unstructured":"Eike Best, Hans Fleischhack, Wojciech Fr\u0105czak, Richard P. Hopkins, Hanna Klaudel and Elisabeth Pelz: A Class of Composable High Level Petri Nets, to appear in Proc. of 16th ICPN, Torino, LNCS, Springer Verlag, June 1995."},{"volume-title":"Hildesheim","year":"1995","author":"E Best","key":"6_CR6","unstructured":"Eike Best, Hans Fleischhack, Wojciech Fr\u0105czak, Richard P. Hopkins, Hanna Klaudel and Elisabeth Pelz: An M-net Semantics of B(PN)2, Hildesheimer Informatikbericht 10\/95, Hildesheim, 1995."},{"volume-title":"Proc. of 12th ICPN, \u00c4rhus, 1991, also LRI Technical Report 616, Orsay","year":"1990","author":"D Buchs","key":"6_CR7","unstructured":"Didier Buchs and Nicolas Guelfi: CO-OPN: A Concurrent Object-Oriented Petri Nets Approach for System Specification. In Proc. of 12th ICPN, \u00c4rhus, 1991, also LRI Technical Report 616, Orsay, 1990."},{"volume-title":"Advances in Petri Nets 1992, Volume 609 of LNCS, pages 113\u2013133. Springer Verlag","year":"1992","author":"S Christensen","key":"6_CR8","unstructured":"Soren Christensen and Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. In Advances in Petri Nets 1992, Volume 609 of LNCS, pages 113\u2013133. Springer Verlag, 1992."},{"key":"6_CR9","unstructured":"Raymond Devillers and Hanna Klaudel: Refinement and Recursion in a High Level Petri Box Calculus. In this volume."},{"volume-title":"High Level Petri Nets: Theory and Application, pages 3\u201343. Springer Verlag","year":"1991","author":"Hartmann Genrich","key":"6_CR10","unstructured":"Hartmann Genrich: Predicate-transition Nets. In High Level Petri Nets: Theory and Application, pages 3\u201343. Springer Verlag, 1991."},{"key":"6_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-84524-6","volume-title":"High Level Petri Nets: Theory and Application, pages 44\u2013122. Springer Verlag","author":"Kurt Jensen","year":"1991","unstructured":"Kurt Jensen: Coloured Petri Nets. In High Level Petri Nets: Theory and Application, pages 44\u2013122. Springer Verlag, 1991."},{"volume-title":"Proc. MFCS88, Volume 324 of LNCS, pages 339\u2013350. Springer Verlag","year":"1988","author":"Ursula Goltz","key":"6_CR12","unstructured":"Ursula Goltz: On Representing CCS Programs by Finite Petri Nets. In Proc. MFCS\u201988, Volume 324 of LNCS, pages 339\u2013350. Springer Verlag, 1988."},{"volume-title":"Springer Verlag","year":"1995","author":"H Klaudel","key":"6_CR13","unstructured":"Hanna Klaudel and Elisabeth Pelz: Communication as Unification in the Petri Box Calculus, to appear in Proc. FCT\u201995, Dresden, LNCS, Springer Verlag, August 1995."},{"volume-title":"Proc. MFCS 18, Volume 64 of LNCS, pages 39\u201355. Springer Verlag","year":"1978","author":"Vadim Kotov","key":"6_CR14","unstructured":"Vadim Kotov: An Algebra for Parallelism based on Petri Nets. In Proc. MFCS\u2019 18, Volume 64 of LNCS, pages 39\u201355. Springer Verlag, 1978."},{"volume-title":"Prentice Hall","year":"1989","author":"Robin Milner","key":"6_CR15","unstructured":"Robin Milner: Communication and Concurrency. Prentice Hall (1989)."},{"volume-title":"Petri Nets and Their Composition Problem. PhD Thesis: TD- 2\/90","year":"1990","author":"Giuseppe Pinna","key":"6_CR16","unstructured":"Giuseppe Pinna: Petri Nets and Their Composition Problem. PhD Thesis: TD- 2\/90, Dipartimento di Informatica, Universit\u00e0 degli Studi di Pisa, March 1990."},{"key":"6_CR17","first-page":"1","volume-title":"Theoretical Computer Science Vol.80","author":"Wolfgang Reisig","year":"1991","unstructured":"Wolfgang Reisig: Petri Nets and Algebraic Specifications. In Theoretical Computer Science Vol.80, 1\u201334 (1991)."},{"volume-title":"Advances in Petri Nets 87, Volume 266 of LNCS. Springer Verlag","year":"1987","author":"Jacques Vautherin","key":"6_CR18","unstructured":"Jacques Vautherin: Parallel systems specification with colored Petri nets and algebraic specification. In Advances in Petri Nets 87, Volume 266 of LNCS. Springer Verlag, 1987."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T09:57:38Z","timestamp":1555840658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_6","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}