{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T19:24:21Z","timestamp":1791228261786,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540678977","type":"print"},{"value":"9783540446187","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44618-4_32","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:38:51Z","timestamp":1188311931000},"page":"442-457","source":"Crossref","is-referenced-by-count":13,"title":["Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nadia","family":"Busi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Michele Pinna","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"issue":"2","key":"32_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/633642.803973","volume":"4","author":"T. Agerwala","year":"1973","unstructured":"T. Agerwala and M. Flynn. Comments on capabilities, limitations and \u201ccorrectness\u201d of Petri nets. Computer Architecture News, 4(2):81\u201386, 1973.","journal-title":"Computer Architecture News"},{"key":"32_CR2","unstructured":"P. Baldan. Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, Department of Computer Science, University of Pisa, 2000."},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"P. Baldan, N. Busi, A. Corradini, and G. M. Pinna. Domain and event structure semantics for Petri nets with read and inhibitor arcs. Technical report TR-00-05, Department of Computer Science, University of Pisa, 2000.","DOI":"10.1007\/3-540-44618-4_32"},{"key":"32_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of FoSSaCS\u2019 98","author":"P. Baldan","year":"1998","unstructured":"P. Baldan, A. Corradini, and U. Montanari. An event structure semantics for P\/T contextual nets: Asymmetric event structures. Proceedings of FoSSaCS\u2019 98, LNCS 1378. Springer, 1998."},{"key":"32_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Semantics of System of Concurrent Processes","author":"G. Boudol","year":"1990","unstructured":"G. Boudol. Flow Event Structures and Flow Nets. In Semantics of System of Concurrent Processes, LNCS 469. Springer, 1990."},{"issue":"2\u20133","key":"32_CR6","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3233\/FI-1999-402304","volume":"40","author":"N. Busi","year":"1999","unstructured":"N. Busi and G. M. Pinna. Process semantics for Place\/Transition nets with inhibitor and read arcs. Fundamenta Informatic\u0153, 40(2\u20133):165\u2013197, 1999.","journal-title":"Fundamenta Informatic\u0153"},{"key":"32_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Applications and Theory of Petri Nets","author":"S. Christensen","year":"1993","unstructured":"S. Christensen and N. D. Hansen. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Applications and Theory of Petri Nets, LNCS 691. Springer, 1993."},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1995.1153","volume":"123","author":"R. Janicki","year":"1995","unstructured":"R. Janicki and M. Koutny. Semantics of inhibitor nets. Information and Computation, 123:1\u201316, 1995.","journal-title":"Information and Computation"},{"key":"32_CR9","unstructured":"R. Langerak. Transformation and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente, 1992."},{"issue":"1\u20132","key":"32_CR10","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. Process versus unfolding semantics for Place\/Transition Petri nets. Theoret. Comp. Sci., 153(1\u20132):171\u2013210, 1996.","journal-title":"Theoret. Comp. Sci."},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Contextual nets. Acta Informatica, 32(6), 1995.","DOI":"10.1007\/BF01178907"},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoret. Comp. Sci., 13:85\u2013108, 1981.","journal-title":"Theoret. Comp. Sci."},{"key":"32_CR13","unstructured":"J. L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice-Hall, 1981."},{"issue":"2","key":"32_CR14","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0304-3975(94)00174-H","volume":"138","author":"G. M. Pinna","year":"1995","unstructured":"G. M. Pinna and A. Poign\u00e9. On the nature of events: another perspective in concurrency. Theoret. Comp. Sci., 138(2):425\u2013454, 1995.","journal-title":"Theoret. Comp. Sci."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science. Springer, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"32_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ICALP\u201997","author":"W. Vogler","year":"1997","unstructured":"W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. In Proceedings of ICALP\u201997, LNCS 1256. Springer, 1997."},{"key":"32_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CONCUR\u201998","author":"W. Vogler","year":"1998","unstructured":"W. Vogler, A. Semenov, and A. Yakovlev. Unfolding and finite prefix for nets with read arcs. In Proceedings of CONCUR\u201998, LNCS 1466. Springer, 1998."},{"key":"32_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255. Springer, 1987."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2000 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44618-4_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T05:13:01Z","timestamp":1587877981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44618-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678977","9783540446187"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44618-4_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}