{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T14:31:56Z","timestamp":1791124316559,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540232520","type":"print"},{"value":"9783540302322","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30232-2_20","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T15:56:19Z","timestamp":1287935779000},"page":"309-325","source":"Crossref","is-referenced-by-count":9,"title":["Petri Net Semantics of the Finite \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1988","unstructured":"Best, E., Devillers, R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science\u00a055, 87\u2013136 (1988)","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s002360050144","volume":"35","author":"E. Best","year":"1998","unstructured":"Best, E., Fr\u0105czak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica\u00a035, 813\u2013857 (1998)","journal-title":"Acta Informatica"},{"key":"20_CR3","series-title":"EATCS Monographs on TCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri Net Algebra","author":"E. Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. EATCS Monographs on TCS. Springer, Heidelberg (2001)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-59042-0_77","volume-title":"STACS 95","author":"M. Boreale","year":"1995","unstructured":"Boreale, M., Sangiorgi, D.: A Fully Abstract Semantics for Causality in the \u03c0- calculus. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 243\u2013254. Springer, Heidelberg (1995)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-60218-6_11","volume-title":"CONCUR \u201995 Concurrency Theory","author":"N. Busi","year":"1995","unstructured":"Busi, N., Gorrieri, R.: A Petri net Semantics for \u03c0-calculus. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 145\u2013159. Springer, Heidelberg (1995)"},{"key":"20_CR6","first-page":"322","volume-title":"Proc. of LICS 2000","author":"G.L. Cattani","year":"2000","unstructured":"Cattani, G.L., Sewell, P.: Models for Name-Passing Processes: Interleaving and Causal. In: Proc. of LICS 2000, pp. 322\u2013333. IEEE CS Press, Los Alamitos (2000)"},{"key":"20_CR7","unstructured":"Cattani, G.L., Sewell, P.: Models for Name-Passing Processes: Interleaving and Causal. Technical Report TR-505, University of Cambridge (2000)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-56863-8_47","volume-title":"Application and Theory of Petri Nets 1993","author":"S. Christensen","year":"1993","unstructured":"Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 186\u2013205. Springer, Heidelberg (1993)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: Petri net semantics of the finite \u03c0-calculus CS-TR-846 University of Newcastle (2004)","DOI":"10.1007\/978-3-540-30232-2_20"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0304-3975(95)00118-2","volume":"153","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J.: A Multiset Semantics for the \u03c0-calculus with Replication. Theoretical Computer Science\u00a0153, 65\u201394 (1996)","journal-title":"Theoretical Computer Science"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-46674-6_17","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"H. Klaudel","year":"1999","unstructured":"Klaudel, H., Pommereau, F.: Asynchronous links in the PBC and M-nets. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol.\u00a01742, pp. 190\u2013200. Springer, Heidelberg (1999)"},{"key":"20_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"20_CR14","series-title":"Electronic Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60299-2","volume-title":"Proc. of MFPS 1995","author":"U. Montanari","year":"1995","unstructured":"Montanari, U., Pistore, M.: Concurrent Semantics for the \u03c0-calculus. In: Proc. of MFPS 1995. Electronic Notes in Computer Science, vol.\u00a01, Elsevier, Amsterdam (1995)"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: An Introduction to the \u03c0-calculus. In: Bergstra, Ponse, Smolka (eds.) Handbook of Process Algebra, pp. 479\u2013543. Elsevier, Amsterdam (2001)"},{"key":"20_CR16","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report FN-19, Computer Science Department, University of Aarhus (1981)"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/BFb0029994","volume-title":"Mathematical Foundations of Computer Science 1997","author":"W. Vogler","year":"1997","unstructured":"Vogler, W.: Partial Order Semantics and Read Arcs. In: Privara, I., Ru\u017ei\u010dka, P. (eds.) MFCS 1997. LNCS, vol.\u00a01295, pp. 508\u2013517. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30232-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T21:00:31Z","timestamp":1559768431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30232-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232520","9783540302322"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30232-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}