{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:22:28Z","timestamp":1776885748808,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540653882","type":"print"},{"value":"9783540493662","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49366-2_18","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:48:47Z","timestamp":1194979727000},"page":"225-244","source":"Crossref","is-referenced-by-count":15,"title":["A Comparison of Petri Net Semantics under the Collective Token Philosophy"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"Vladimiro","family":"Sassone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,30]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best AND R. Devillers (1987), Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55, 87\u2013136, Elsevier.","journal-title":"Theoretical Computer Science"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"C. Brown AND D. Gurr (1990), A Categorical Linear Framework for Petri Nets, in Proceedings of the 5th Symposium on Logics in Computer Science, 208\u2013218, IEEE Press.","DOI":"10.1109\/LICS.1990.113747"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"G.L. Cattani AND V. Sassone (1996), Higher Dimensional Transition Systems, in Proceedings of the 11th Symposium on Logics in Computer Science, 55\u201362, IEEE Press.","DOI":"10.1109\/LICS.1996.561303"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, AND J. Meseguer (1996), Principles of Maude, in Proceedings First Intl. Workshop on Rewriting Logic and its Applications, J. Meseguer (Ed.), Electronic Notes in Theoretical Computer Science 4, http:\/\/www.elsevier.nl\/locate\/tcs , Elsevier.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"issue":"7","key":"18_CR5","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s002360050064","volume":"33","author":"P. Degano","year":"1996","unstructured":"P. Degano, J. Meseguer, AND U. Montanari (1996), Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica 33(7), 641\u2013667, Springer-Verlag.","journal-title":"Acta Informatica"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"R.J. Van Glabbeek AND G.D. Plotkin (1995), Configuration Structures, in Proceedings of the 10th Symposium on Logics in Computer Science, 199\u2013209, IEEE Press.","DOI":"10.1109\/LICS.1995.523257"},{"key":"18_CR7","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz AND W. Reisig (1983), The Non-Sequential Behaviour of Petri Nets. Information and Computation 57, 125\u2013147, Academic Press.","journal-title":"Information and Computation"},{"issue":"1-2","key":"18_CR8","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 (1996), An Event Structure Semantics for General Petri Nets. Theoretical Computer Science 153(1-2), 129\u2013170, Elsevier.","journal-title":"Theoretical Computer Science"},{"key":"18_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/BFb0013033","volume-title":"Linear time, branching time, and partial order in logics and models for concurrency","author":"K. Lodaya","year":"1989","unstructured":"K. Lodaya, R. Ramanujam, AND P.S. Thiagarajan (1989), A Logic for Distributed Transition Systems, in Linear time, branching time, and partial order in logics and models for concurrency, J.W. de Bakker et al. (Eds.), Lecture Notes in Computer Science 354, 508\u2013522, Springer-Verlag."},{"key":"18_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Proceedings of the 12th WADT Workshop on Al gebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer (1998), Membership Equational Logic as a Logical Framework for Equational Specification, in Proceedings of the 12th WADT Workshop on Al gebraic Development Techniques, F. Parisi-Presicce (Ed.), Lecture Notes in Computer Science 1376, 18\u201361, Springer-Verlag."},{"issue":"2","key":"18_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer AND U. Montanari (1990), Petri Nets are Monoids. Information and Computation 88(2), 105\u2013155, Academic Press.","journal-title":"Information and Computation"},{"key":"18_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-64299-4_27","volume-title":"Proceedings of the 12th WADT Workshop on Al gebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer AND U. Montanari (1998), Mapping Tile Logic into Rewriting Logic. in Proceedings of the 12th WADT Workshop on Al gebraic Development Techniques, F. Parisi-Presicce (Ed.), Lecture Notes in Computer Science 1376, 62\u201391, Springer-Verlag."},{"issue":"1-2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(95)00121-2","volume":"153","author":"J. Meseguer","year":"1996","unstructured":"J. Meseguer, U. Montanari, AND V. Sassone (1996), Process versus Unfolding Semantics for Place\/Transition Petri Nets. Theoretical Computer Science 153(1-2), 171\u2013210, Elsevier.","journal-title":"Theoretical Computer Science"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"J. Meseguer, U. Montanari, AND V. Sassone (1997), On the Semantics of Place\/Transition Petri Nets. Mathematical Structures in Computer Science 7, 359\u2013397, Cambridge University Press.","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BFb0052092","volume-title":"Foundations of Computer Science","author":"J. Meseguer","year":"1997","unstructured":"J. Meseguer, U. Montanari, AND V. Sassone (1997), Representation Theorems for Petri Nets, in Foundations of Computer Science, C. Freska et al. (Eds.), Lecture Notes in Computer Science 1337, 239\u2013249, Springer-Verlag."},{"issue":"4","key":"18_CR16","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"M. Mukund (1992), Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science, 3(4), 443\u2013478, World Scientific.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"18_CR17","unstructured":"C.A. Petri (1962), Kommunikation mit Automaten. PhD thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn."},{"key":"18_CR18","unstructured":"W. Reisig (1985), Petri Nets (an Introduction). EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag."},{"key":"18_CR19","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0304-3975(96)80709-2","volume":"170","author":"V. Sassone","year":"1996","unstructured":"V. Sassone (1996), An Axiomatization of the Algebra of Petri Net Concatenable Processes. Theoretical Computer Science 170, 277\u2013296, Elsevier.","journal-title":"Theoretical Computer Science"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S096012959700248X","volume":"8","author":"V. Sassone","year":"1998","unstructured":"V. Sassone (1998), An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science 8, 117\u2013151, Cambridge University Press.","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel (1987), Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation 72, 197\u2013238, Academic Press.","journal-title":"Information and Computation"},{"key":"18_CR22","series-title":"Lect Notes Comput Sci","first-page":"365","volume-title":"in Linear time, branching time, and partial order in logics and models for concurrency","author":"G. Winskel","year":"1988","unstructured":"G. Winskel (1988), An Introduction to Event Structures, in Linear time, branching time, and partial order in logics and models for concurrency, J.W. de Bakker et al. (Eds.), Lecture Notes in Computer Science 354, 365\u2013397, Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science ASIAN 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49366-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:02:09Z","timestamp":1737532929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49366-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653882","9783540493662"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-49366-2_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}