{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T20:40:16Z","timestamp":1736628016298,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540488156"},{"type":"electronic","value":"9783540488163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11921240_10","type":"book-chapter","created":{"date-parts":[[2006,11,2]],"date-time":"2006-11-02T13:28:19Z","timestamp":1162474099000},"page":"138-152","source":"Crossref","is-referenced-by-count":5,"title":["A Petri Net Translation of \u03c0-Calculus Terms"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"EATCS Monographs on TCS","doi-asserted-by":"crossref","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":"10_CR2","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s002360050144","volume":"35","author":"E. Best","year":"1998","unstructured":"Best, E., Fraczak, 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":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"10_CR5","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":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"unstructured":"Devillers, R., Klaudel, H.: Solving Petri Net Recursions through Finite Representation. In: Proc. of IASTED 2004, pp. 145\u2013150. ACTA Press (2004)","key":"10_CR7"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FUN-2006-70303","volume":"70","author":"R. Devillers","year":"2006","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: Petri Net Semantics of the Finite \u03c0-Calculus Terms. Fundamenta Informaticae\u00a070, 1\u201324 (2006)","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: A Petri Net Translation of pi-calculus Terms. Report CS-TR 887, University of Newcastle (2005)","key":"10_CR9","DOI":"10.1007\/11921240_10"},{"key":"10_CR10","first-page":"295","volume":"54","author":"R. Devillers","year":"2003","unstructured":"Devillers, R., Klaudel, H., Koutny, M., Pommereau, F.: Asynchronous Box Calculus. Fundamenta Informaticae\u00a054, 295\u2013344 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S0304-3975(02)00088-9","volume":"300","author":"R. Devillers","year":"2003","unstructured":"Devillers, R., Klaudel, H., Riemann, R.-C.: General Parameterised Refinement and Recursion for the M-net Calculus. Theoretical Comp. Sci.\u00a0300, 235\u2013258 (2003)","journal-title":"Theoretical Comp. Sci."},{"key":"10_CR12","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 Comp. Sci.\u00a0153, 65\u201394 (1996)","journal-title":"Theoretical Comp. Sci."},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-61042-1_58","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Grahlmann","year":"1996","unstructured":"Grahlmann, B., Best, E.: PEP - More than a Petri net tool. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 397\u2013401. Springer, Heidelberg (1996)"},{"key":"10_CR14","first-page":"449","volume-title":"Proc. of WODES 2000","author":"S. Haddad","year":"2000","unstructured":"Haddad, S., Poitrenaud, D.: Modelling and Analyzing Systems with Recursive Petri Nets. In: Proc. of WODES 2000, pp. 449\u2013458. Kluwer Academics Publishers, Dordrecht (2000)"},{"unstructured":"Khomenko, V., Koutny, M., Niaouris, A.: Applying Petri Net Unfoldings for Verification of Mobile Systems. Report CS-TR 953, University of Newcastle (2006)","key":"10_CR15"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1989","author":"A. Kiehn","year":"1990","unstructured":"Kiehn, A.: Petri Net Systems and their Closure Properties. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, Springer, Heidelberg (1990)"},{"key":"10_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"10_CR18","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":"10_CR19","series-title":"Electronic Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","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, pp. 1\u201319. Elsevier, Amsterdam (1995)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11921240_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T20:02:52Z","timestamp":1736625772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11921240_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540488156","9783540488163"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11921240_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}