{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194263},"reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084798","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"286-301","source":"Crossref","is-referenced-by-count":27,"title":["On the semantics of Petri Nets"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Meseguer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimiro","family":"Sassone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"n. 55","author":"E. Best","year":"1987","unstructured":"E. Best, and R. Devillers. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, n. 55, pp. 87\u2013135, 1987.","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF02915446","volume":"n. 26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. De Nicola, and U. Montanari. A Distributed Operational Semantics for CCS based on Condition\/Event Systems. Acta Informatica, n. 26, pp. 59\u201391, 1988.","journal-title":"Acta Informatica"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In proceedings of 4 th LICS Symposium, pp. 175\u2013185, IEEE, 1989.","DOI":"10.1109\/LICS.1989.39172"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"n. 28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet. Branching Processes of Petri Nets. Acta Information, n. 28, pp. 575\u2013591, 1991.","journal-title":"Acta Information"},{"key":"21_CR5","first-page":"125","volume":"n. 57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, and W. Reisig. The Non-Sequential Behaviour of Petri Nets. Information and Computation, n. 57, pp. 125\u2013147, 1983.","journal-title":"Information and Computation"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"P.W. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. A Trace Semantics for Petri Nets. To appear in proceedings of ICALP '92, 1992.","DOI":"10.1007\/3-540-55719-9_107"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. GTM, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"n. 88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer, and U. Montanari. Petri Nets are Monoids. Information and Computation, n. 88, pp. 105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"n. 13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science, n. 13, pp. 85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"E.R. Olderog. A Petri Net Semantics for CCSP. In Advances in Petri Nets, LNCS, n. 255, pp. 196\u2013223, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_27"},{"key":"21_CR11","volume-title":"PhD thesis","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn, FRG, 1962."},{"key":"21_CR12","unstructured":"C.A. Petri. Concepts of Net Theory. In proceedings of MFCS '73, pp. 137\u2013146, Mathematics Institute of the Slovak Academy of Science, 1973."},{"key":"21_CR13","volume-title":"Interner Bericht ISF-77-5","author":"C.A. Petri","year":"1977","unstructured":"C.A. Petri. Non-Sequential Processes. Interner Bericht ISF-77-5, Gesellschaft f\u00fcr Mathematik and Datenverarbeitung, Bonn, FRG, 1977."},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"V. Pratt. Modeling Concurrency with Geometry. In proceedings of POPL '91, pp. 311\u2013322, ACM, 1991.","DOI":"10.1145\/99583.99625"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"21_CR16","unstructured":"D. Scott. Outline of a Mathematical Theory of Computation. In proceedings of 4th Annual Princeton Conference on Information Science and Systems, pp. 169\u2013176, 1970."},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"R. Van Glabbeek, and F. Vaandrager. Petri Net Model for Algebraic Theories of Concurrency. In proceedings of PARLE, LNCS, n. 259, pp. 224\u2013242, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event Structure Semantics for CCS and related languages. In proceedings of the 9th ICALP, LNCS, n. 140, pp. 561\u2013576, Springer-Verlag, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"G. Winskel. A New Definition of Morphism on Petri Nets. In proceedings of STACS '84, LNCS, n. 166, pp. 140\u2013150, Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12920-0_13"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event Structures. In proceedings of Advanced Course on Petri Nets, LNCS n. 255, pp. 325\u2013392, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"n. 72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation, n. 72, pp. 197\u2013238, 1987.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084798.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:26Z","timestamp":1607551646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0084798","relation":{},"subject":[]}}