{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T00:24:37Z","timestamp":1790641477978,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540441441","type":"print"},{"value":"9783540457190","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45719-4_14","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T14:55:00Z","timestamp":1191941700000},"page":"192-207","source":"Crossref","is-referenced-by-count":2,"title":["An Algebra of Non-safe Petri Boxes"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-60029-9_33","volume-title":"ICATPN\u201995","author":"T. Basten","year":"1995","unstructured":"T. Basten and M. Voorhoeve: An Algebraic Semantics for Hierarchical P\/T Nets. ICATPN\u201995, Springer, LNCS 935 (1995) 45\u201365."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1988","unstructured":"E. Best and R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55 (1988) 87\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"14_CR3","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 1992","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers and J. Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. In: Advances in Petri Nets 1992, G. Rozenberg (Ed.). Springer, LNCS 609 (1992) 21\u201369."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers and M. Koutny: Petri Net Algebra. EATCS Monographs on TCS, Springer (2001).","DOI":"10.1007\/978-3-662-04457-5"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1006\/inco.1994.1088","volume":"114","author":"G. Boudol","year":"1994","unstructured":"G. Boudol and I. Castellani: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. Information and Computation 114 (1994) 247\u2013314.","journal-title":"Information and Computation"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. De Nicola and U. Montanari: A Distributed Operational Semantics for CCS Based on C\/E Systems. Acta Informatica 26 (1988) 59\u201391.","journal-title":"Acta Informatica"},{"key":"14_CR7","unstructured":"R. Devillers, H. Klaudel, M. Koutny, E. Pelz and F. Pommereau: Operational Semantics for PBC with Asynchronous Communication. HPC\u201902, SCS (2002) 314\u2013319."},{"key":"14_CR8","unstructured":"R. Devillers, H. Klaudel, M. Koutny and F. Pommereau: Asynchronous Box Calculus. Technical Report CS-TR-759, Dept. of Comp. Sci., Univ. of Newcastle (2002)."},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"TACAS\u201996","author":"J. Esparza","year":"1996","unstructured":"J. Esparza, S. R\u00f6mer and W. Vogler: An Improvement of McMillan\u2019s Unfolding Algorithm. TACAS\u201996, Springer, LNCS 1055 (1996) 87\u2013106."},{"key":"14_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE\u201987","author":"R. J. Glabbeek van","year":"1987","unstructured":"R. J. van Glabbeek and F. V. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency. PARLE\u201987, Springer, LNCS 259 (1987) 224\u2013242."},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"14","author":"U. Goltz","year":"1991","unstructured":"U. Goltz and R. Loogen: A Non-interleaving Semantic Model for Nondeterministic Concurrent Processes. Fundamentae Informaticae 14 (1991) 39\u201373.","journal-title":"Fundamentae Informaticae"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0304-3975(94)00073-R","volume":"141","author":"R. Gorrieri","year":"1995","unstructured":"R. Gorrieri and U. Montanari: On the Implementation of Concurrent Calculi in Net Calculi: two Case Studies. Theoretical Computer Science 141(1\u20132) (1995) 195\u2013252.","journal-title":"Theoretical Computer Science"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare: Communicating Sequential Processes. Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(95)00120-4","volume":"153","author":"P. W. Hoogers","year":"1996","unstructured":"P. W. Hoogers, H. C. M. Kleijn and P. S. Thiagarajan: An Event Structure Semantics for General Petri Nets. Theoretical Computer Science 153 (1996) 129\u2013170.","journal-title":"Theoretical Computer Science"},{"key":"14_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-46674-6_17","volume-title":"ASIAN\u201999","author":"H. Klaudel","year":"1999","unstructured":"H. Klaudel and F. Pommereau: Asynchronous links in the PBC and M-nets. ASIAN\u201999, Springer, LNCS 1742 (1999) 190\u2013200."},{"key":"14_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-40911-4_19","volume-title":"IFM\u20192000","author":"H. Klaudel","year":"2000","unstructured":"H. Klaudel and F. Pommereau: A concurrent and Compositional Petri Net Semantics of Preemption. IFM\u20192000, Springer, LNCS 1945 (2000) 318\u2013337."},{"key":"14_CR17","unstructured":"R. Milner: Communication and Concurrency. Prentice Hall (1989)."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"E. R. Olderog: Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23, Cambridge University Press (1991).","DOI":"10.1017\/CBO9780511526589"},{"key":"14_CR19","unstructured":"G. D. Plotkin: A Structural Approach to Operational Semantics. Technical Report FN-19, Computer Science Department, University of Aarhus (1981)."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets. An Introduction. EATCS Monographs, Springer (1985).","DOI":"10.1007\/978-3-642-69968-9"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45719-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T10:48:53Z","timestamp":1684061333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45719-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441441","9783540457190"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45719-4_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}