{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:24Z","timestamp":1725663804649},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:19Z","timestamp":1330269619000},"page":"16-38","source":"Crossref","is-referenced-by-count":8,"title":["On the model of computation of place\/transition 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","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","first-page":"72","volume":"n. 62","author":"G. Berry","year":"1978","unstructured":"G. Berry. Stable Models of Typed \u03bb-calculi. In Proceedings ICALP '78, LNCS n. 62, pp. 72\u201389, 1978.","journal-title":"LNCS"},{"key":"3_CR2","doi-asserted-by":"crossref","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\u2013136, 1987.","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"C. Brown, and D. Gurr. A Categorical Linear Framework for Petri Nets. In Proceedings of the 5th LICS Symposium, pp. 208\u2013218, 1990.","DOI":"10.1109\/LICS.1990.113747"},{"key":"3_CR4","unstructured":"C. Brown, D. Gurr, and V. de Paiva. A Linear Specification Language for Petri Nets. Technical Report DAIMI PB-363, Computer Science Department, Aarhus University, 1981."},{"key":"3_CR5","doi-asserted-by":"crossref","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":"3_CR6","doi-asserted-by":"crossref","unstructured":"P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In Proceedings of the 4th LICS Symposium, pp. 175\u2013185, IEEE, 1989.","DOI":"10.1109\/LICS.1989.39172"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","volume":"n. 28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica, n. 28, pp. 575\u2013591, 1991.","journal-title":"Acta Informatica"},{"key":"3_CR8","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":"3_CR9","doi-asserted-by":"crossref","unstructured":"P.W. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. Local Event Structures and Petri Nets In Proceedings of CONCUR '93, LNCS n. 715, pp. 462\u2013476, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_32"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"J. Meseguer, and U. Montanari. Petri Nets are Monoids. Information and Computation, n. 88, pp. 105\u2013154, Academic Press, 1990.","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. On the Semantics of Petri Nets. In proceedings of CONCUR '92, LNCS, n. 630, pp. 286\u2013301, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084798"},{"key":"3_CR13","unstructured":"J. Meseguer, U. Montanari and V. Sassone. On the Semantics of Place\/Transition Petri Nets. Technical Report TR 27\/92 Dipartimento Informatica, Universit\u00e0 di Pisa, 1992, and Technical Report SRI-CSL-92-09, SRI International, Computer Science Laboratory, 1992."},{"key":"3_CR14","unstructured":"J. Meseguer, U. Montanari and V. Sassone. Process versus Unfolding Semantics for PT Place\/Transition Petri Nets To appear as Technical Report of the Dipartimento di Informatica, Universit\u00e0 di Pisa, and Technical Report of the Computer Science Laboratory, SRI International, 1994."},{"key":"3_CR15","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":"3_CR16","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01783665","volume":"n. 4","author":"M. Nielsen","year":"1990","unstructured":"M. Nielsen, G. Rozenberg, and P.S. Thiagarajan. Behavioural Notions for Elementary Net Systems. Distributed Computing, n. 4, pp. 45\u201357, 1990.","journal-title":"Distributed Computing"},{"key":"3_CR17","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":"3_CR18","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, Germany, 1962."},{"key":"3_CR19","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":"3_CR20","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 und Datenverarbeitung, Bonn, FRG, 1977."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"3_CR22","unstructured":"V. Sassone. On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations. PhD Thesis, TD 6\/94 Dipartimento di Informatica, Universit\u00e0 di Pisa, March 1994."},{"key":"3_CR23","unstructured":"V. Sassone. Some Remarks on Concatenable Processes. Technical Report TR 6\/94, Dipartimento di Informatica, Universit\u00e0 di Pisa, April 1994."},{"key":"3_CR24","volume-title":"\u03c9-Ind Completion of Monoidal Categories and Infinite Petri Net Computations","author":"V. Sassone","year":"1993","unstructured":"V. Sassone, J. Meseguer, and U. Montanari. \u03c9-Ind Completion of Monoidal Categories and Infinite Petri Net Computations. Presentation at the Workshop on Topology and Completion in Sematics, Institute Blaise Pascal, November 1993, Chartres, France. To appear as Technical Report of the Dipartimento di Informatica, Universit\u00e0 di Pisa, and Technical Report of the Computer Science Laboratory, SRI International, 1994."},{"key":"3_CR25","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":"3_CR26","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, pp. 224\u2013242, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event Structure Semantics of CCS and Related Languages. In proceedings of ICALP '82, LNCS n. 140, pp. 561\u2013567, Springer-Verlag, 1982. Expanded version available as technical report DAIMI PB-159, Computer Science Department, Aarhus University.","DOI":"10.1007\/BFb0012800"},{"key":"3_CR28","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":"3_CR29","doi-asserted-by":"crossref","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","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:28Z","timestamp":1605647848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}