{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:26:36Z","timestamp":1730251596705,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/icnc.2015.7377979","type":"proceedings-article","created":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T21:43:40Z","timestamp":1452548620000},"page":"135-142","source":"Crossref","is-referenced-by-count":0,"title":["Conversion and verification of recursive structure in PI-calculus with compositional petri-NET"],"prefix":"10.1109","author":[{"family":"Hui Kang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Siqi Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Feng Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"114","article-title":"Petri-net-based Workflow Management Software[A]","author":"aalst","year":"1996","journal-title":"Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems[C] Athens NFS Workshop"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref12","first-page":"339","article-title":"On representing CCS programs by finite Petri nets [A]","volume":"324","author":"golltz","year":"1998","journal-title":"Proc MFCS'88 [C] LNCS"},{"article-title":"Communication and Mobile Systems: The Pi-Calculus [J]","year":"1999","author":"milner","key":"ref13"},{"key":"ref14","first-page":"479","article-title":"An Introduction to the PI calculus [J]","author":"parrow","year":"2001","journal-title":"Handbook of Process"},{"key":"ref15","article-title":"The Polyadic PI-Calculus: a Tutorial, Laboratory for Foundations of Computer Science[R]","author":"milner","year":"1991","journal-title":"Department of Computer Science University of Edinburgh"},{"article-title":"Mobile communication and Pi-calculus[M]","year":"1999","author":"milner","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00118-2"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_77"},{"key":"ref19","article-title":"Concurrent Semantics for the PI calculus [J]","author":"montanari","year":"0","journal-title":"Proc of MFPS'95 Elsevier (1995) Electronic Notes in Computer Science"},{"key":"ref4","article-title":"Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use","volume":"1[r]","author":"jensen","year":"1996"},{"key":"ref27","first-page":"138","article-title":"A Petri net translation of PI calculus terms [J]","volume":"4281","author":"devillers","year":"2006","journal-title":"ICTAC 2006 LNCS"},{"key":"ref3","article-title":"A Petri Net-based Model for Web Services Composition[C]","author":"hamadi","year":"2003","journal-title":"Proc of the Fourteenth Australasian Database Conference on Database Technologies"},{"key":"ref6","first-page":"420","article-title":"A petri-net based specification model for web services","author":"jia","year":"2004","journal-title":"Proceedings of the 2nd IEEE International Conference on Web Servies"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050144"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029994"},{"key":"ref7","first-page":"186","article-title":"Coloured Petri Nets Extended with Place Capacities","author":"christensen","year":"1993","journal-title":"Test Arcs and Inhibitor Arcs [J]"},{"key":"ref2","first-page":"483","article-title":"etc, the Petri Net Markup Language: Concepts, Technology, and Tools [J]","author":"billington","year":"2003","journal-title":"ICATPN"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46674-6_17"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04457-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_11"},{"key":"ref22","first-page":"145","article-title":"A Petri net semant ics for Pi calculus [A]","author":"busi","year":"1995","journal-title":"LNCS 962 [C]"},{"key":"ref21","first-page":"442","article-title":"Complete proof systems for observation congruences in finite control pi calculus [J]","author":"hui-min","year":"1998","journal-title":"Proceedings of the 25th International Colloquium on Automata Languages and Programming"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2000.855781"},{"key":"ref23","article-title":"A Pi-calculus based approach to software composition [J]","author":"lumpe","year":"1999","journal-title":"Institute of Computer Science and Applied Mathematics"},{"key":"ref26","first-page":"1","article-title":"Petri net semantics of the finite PI calculus terms [J]","author":"devillers","year":"2006","journal-title":"Fundam Inf"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0079-2"}],"event":{"name":"The 2015 11th International Conference on Natural Computation","start":{"date-parts":[[2015,8,15]]},"location":"Zhangjiajie, China","end":{"date-parts":[[2015,8,17]]}},"container-title":["2015 11th International Conference on Natural Computation (ICNC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7368256\/7377953\/07377979.pdf?arnumber=7377979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T04:54:25Z","timestamp":1490417665000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7377979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icnc.2015.7377979","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}