{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:00:26Z","timestamp":1772024426729,"version":"3.50.1"},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6053,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1997]]},"DOI":"10.1016\/s1571-0661(05)80466-9","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"55-74","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":23,"special_numbering":"C","title":["Zero-Safe Nets, or Transition Synchronization Made Simple"],"prefix":"10.1016","volume":"7","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80466-9_BIB1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","article-title":"Sequential and Concurrent Behaviour in Petri Net Theory","volume":"55","author":"Best","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB2","series-title":"Advances in Petri Nets '92, LNCS, n. 609","first-page":"21","article-title":"The Box Calculus: A New Causal Algebra with Multi-label Communication","author":"Best","year":"1992"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB3","doi-asserted-by":"crossref","unstructured":"C. Brown and D. Gurr. A Categorical Linear Framework for Petri Nets. In Proceedings of the 5th LICS Symposium, 208-218, 1990.","DOI":"10.1109\/LICS.1990.113747"},{"issue":"7","key":"10.1016\/S1571-0661(05)80466-9_BIB4","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1007\/s002360050064","article-title":"Axiomatizing the Algebra of Net Computations and Processes","volume":"33","author":"Degano","year":"1996","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","article-title":"A Distributed Operational Semantics for CCS based on Condition\/Event Systems","volume":"26","author":"Degano","year":"1988","journal-title":"Acta Informatica"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB6","unstructured":"F. Gadducci. On the Algebraic Approach to Concurrent Term Rewriting. PhD thesis TD 02\/96, Department of Computer Science, University of Pisa, 1996."},{"key":"10.1016\/S1571-0661(05)80466-9_BIB7","unstructured":"F. Gadducci and U. Montanari. The Tile Model. Technical Report TR-96-27, Department of Computer Science, University of Pisa, 1996."},{"key":"10.1016\/S1571-0661(05)80466-9_BIB8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(94)00073-R","article-title":"On the Implementation of Concurrent Calculi into Net Calculi: Two Case Studies","volume":"141","author":"Gorrieri","year":"1995","journal-title":"TCS"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB9","doi-asserted-by":"crossref","unstructured":"R.J. Van Glabbeek and G.D. Plotkin. Configuration Structures. In D. Kozen, editor, Proceedings of the 10th LICS Symposium, IEEE, pages 199-209, 1995.","DOI":"10.1109\/LICS.1995.523257"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB10","doi-asserted-by":"crossref","unstructured":"R. Van Glabbeek and F. Vaandrager. Petri Net Models for Algebraic Theories of Concurrency. In Proceedings of PARLE, LNCS, n. 259, pages 224-242. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB11","first-page":"125","article-title":"The Non-Sequential Behaviour of Petri Nets","volume":"57","author":"Goltz","year":"1983","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB12","doi-asserted-by":"crossref","unstructured":"J. Meseguer and U. Montanari Petri Nets are Monoids: A New Algebraic Foundations for Net Theory. Proc. 3rd Symp. on Logics in Computer Science, IEEE 1988:155-164.","DOI":"10.1109\/LICS.1988.5114"},{"issue":"2","key":"10.1016\/S1571-0661(05)80466-9_BIB13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","article-title":"Petri Nets are Monoids","volume":"88","author":"Meseguer","year":"1990","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB14","first-page":"1","article-title":"Process versus Unfolding Semantics for Place\/Transition Petri Nets","author":"Meseguer","year":"1996","journal-title":"TCS, Volume 153, issue"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB15","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. Representation Theorems for Petri Nets. Festschrift in honor of Prof. Wilfried Brauer to appear."},{"key":"10.1016\/S1571-0661(05)80466-9_BIB16","series-title":"Advances in Petri Nets '87, LNCS, n. 266","first-page":"196","article-title":"Operational Petri Net Semantics for CCSP","author":"Olderog","year":"1987"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB17","unstructured":"C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn, Germany, 1962."},{"key":"10.1016\/S1571-0661(05)80466-9_BIB18","series-title":"Petri Nets","author":"Reisig","year":"1985"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB19","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event Structure Semantics of CCS and Related Languages. In Proceedings of ICALP '82, LNCS, n. 140, pages 561-567, Springer-Verlag, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"10.1016\/S1571-0661(05)80466-9_BIB20","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","article-title":"Petri Nets, Algebras, Morphisms and Compositionality","volume":"72","author":"Winskel","year":"1987","journal-title":"Information and Computation"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804669?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105804669?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:21Z","timestamp":1761610041000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105804669"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"references-count":20,"alternative-id":["S1571066105804669"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80466-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Zero-Safe Nets, or Transition Synchronization Made Simple","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80466-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}