{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T11:44:40Z","timestamp":1789386280908,"version":"build-2803163510"},"reference-count":27,"publisher":"Association for Computing Machinery (ACM)","issue":"4-5","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2008,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            We propose a finite structural translation of possibly recursive\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus terms into Petri nets. This is achieved by using high-level nets together with an equivalence on markings in order to model entering into recursive calls, which do not need to be guarded. We view a computing system as consisting of a main program (\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus term) together with procedure declarations (recursive definitions of\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus identifiers). The control structure of these components is represented using disjoint high-level Petri nets, one for the main program and one for each of the procedure declarations. The program is executed once, while each procedure can be invoked several times (even concurrently), each such invocation being uniquely identified by structured tokens which correspond to the sequence of recursive calls along the execution path leading to that invocation.\n          <\/jats:p>","DOI":"10.1007\/s00165-008-0079-2","type":"journal-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T13:09:40Z","timestamp":1209388180000},"page":"429-450","source":"Crossref","is-referenced-by-count":15,"title":["A compositional Petri net translation of general\n            <i>\u03c0<\/i>\n            -calculus terms"],"prefix":"10.1145","volume":"20","author":[{"given":"Raymond","family":"Devillers","sequence":"first","affiliation":[{"name":"D\u00e9partement d\u2019Informatique, Universit\u00e9 Libre de Bruxelles CP212, 1050, Brussels, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[{"name":"IBISC, FRE 2873 CNRS, Universit\u00e9 d\u2019Evry Val d\u2019Essonne, 91000, Evry, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[{"name":"School of Computing Science, Newcastle University, NE1 7RU, Newcastle upon Tyne, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/500774"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90090-9"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050144"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Boreale M Sangiorgi D (1995) A fully abstract semantics for causality in the \u03c0 -calculus. In: Proceedings of STACS 1995. Springer Heidelberg LNCS vol 900 pp 243\u2013254","DOI":"10.1007\/3-540-59042-0_77"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Busi N Gorrieri R (1995) A Petri net semantics for \u03c0 -calculus. In: Proceedings of CONCUR 1995 LNCS vol 962 pp 145\u2013159","DOI":"10.1007\/3-540-60218-6_11"},{"key":"e_1_2_1_2_6_2","unstructured":"Cattani GL Sewell P (2000) Models for name-passing processes: interleaving and causal. In: Proceedings of LICS 2000. IEEE CS Press Los Alamitos pp 322\u2013333"},{"key":"e_1_2_1_2_7_2","unstructured":"Cattani GL Sewell P (2000) Models for name-passing processes: interleaving and causal. Technical report TR-505 University of Cambridge Cambridge"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Christensen S Hansen ND (1993) Coloured Petri nets extended with place capacities test arcs and inhibitor arcs. In: Proceedings of ICATPN 1993. Springer Heidelberg LNCS vol 691 pp 186\u2013205","DOI":"10.1007\/3-540-56863-8_47"},{"key":"e_1_2_1_2_9_2","unstructured":"Devillers R Klaudel H (2004) Solving Petri net recursions through finite representation. In: Proceedings of IASTED 2004. ACTA Press New York pp 145\u2013150"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.008"},{"key":"e_1_2_1_2_11_2","first-page":"1","article-title":"Petri net semantics of the finite \u03c0-calculus terms","volume":"70","author":"Devillers R","year":"2006","journal-title":"Fundam Inf"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Devillers R Klaudel H Koutny M (2006) A Petri net translation of \u03c0 -calculus terms. ICTAC 2006 LNCS vol 4281 pp 138\u2013152","DOI":"10.1007\/11921240_10"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00088-9"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.5555\/2370756.2370757"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00118-2"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Grahlmann B Best E (1996) PEP\u2014more than a Petri net tool. In: Proceedings of TACAS 1996. Springer Heidelberg LNCS vol 1055 pp 397\u2013401","DOI":"10.1007\/3-540-61042-1_58"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Haddad S Poitrenaud D (2000) Modelling and analyzing systems with recursive Petri nets. In: Proceedings of WODES 2000. Kluwer Dordrecht pp 449\u2013458","DOI":"10.1007\/978-1-4615-4493-7_48"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Khomenko V (2003) Model checking based on prefixes of Petri net unfoldings. Ph.D thesis School of Computing Science University of Newcastle","DOI":"10.1007\/3-540-45657-0_49"},{"key":"#cr-split#-e_1_2_1_2_19_2.1","doi-asserted-by":"crossref","unstructured":"Kiehn A (1990) Petri net systems and their closure properties. In: Rozenberg G","DOI":"10.1007\/3-540-52494-0_35"},{"key":"#cr-split#-e_1_2_1_2_19_2.2","unstructured":"(ed) Advances in Petri nets 1989. Springer Heidelberg LNCS vol 424 pp 306-328"},{"key":"e_1_2_1_2_20_2","unstructured":"Khomenko V Koutny M Niaouris A (2006) Applying Petri net unfoldings for verification of mobile systems. Technical report CS-TR-953 University of Newcastle. In: Post-proceedings of MOCA 2006 (to appear)"},{"key":"e_1_2_1_2_21_2","volume-title":"Communication and concurrency","author":"Milner R","year":"1989"},{"key":"e_1_2_1_2_22_2","unstructured":"Mobility Workbench. Uppsala Universitet. http:\/\/www.it.uu.se\/research\/group\/mobility\/mwb"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Montanari U Pistore M (1995) Concurrent semantics for the \u03c0 -calculus. In: Proceedings of MFPS 1995 Electronic notes in computer science vol 1. Elsevier Amsterdam pp 1\u201319","DOI":"10.1016\/S1571-0661(04)00024-6"},{"key":"e_1_2_1_2_24_2","unstructured":"Montanari U Pistore M (2001) History dependent automata. Technical report 0112-14 Instituto Trentino di Cultura"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50026-6"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-008-0079-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-008-0079-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-008-0079-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:46:51Z","timestamp":1641484011000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-008-0079-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":27,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["10.1007\/s00165-008-0079-2"],"URL":"https:\/\/doi.org\/10.1007\/s00165-008-0079-2","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}