{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:21:07Z","timestamp":1725794467799},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662433751"},{"type":"electronic","value":"9783662433768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43376-8_1","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:25:59Z","timestamp":1400729159000},"page":"1-16","source":"Crossref","is-referenced-by-count":4,"title":["Encoding Synchronous Interactions Using Labelled Petri Nets"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filippo","family":"Bonchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacoma V.","family":"Monreale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-04081-8_8","volume-title":"CONCUR 2009 - Concurrency Theory","author":"P. Baldan","year":"2009","unstructured":"Baldan, P., Bonchi, F., Gadducci, F.: Encoding asynchronous interactions using open Petri nets. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 99\u2013114. Springer, Heidelberg (2009)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-73859-6_9","volume-title":"Algebra and Coalgebra in Computer Science","author":"P. Baldan","year":"2007","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R., K\u00f6nig, B.: Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 126\u2013142. Springer, Heidelberg (2007)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 1992","author":"E. Best","year":"1992","unstructured":"Best, E., Devillers, R., Hall, J.G.: The Petri box calculus: a new causal algebra with multi-label communication. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 21\u201369. Springer, Heidelberg (1992)"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-9(3:16)2013","volume":"9","author":"R. Bruni","year":"2013","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U., Sobocinski, P.: Connector algebras for C\/E and P\/T nets\u2019 interactions. Logical Methods in Computer Science\u00a09(3), 1\u201365 (2013)","journal-title":"Logical Methods in Computer Science"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-27836-8_28","volume-title":"Automata, Languages and Programming","author":"N. Busi","year":"2004","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: Comparing recursion, replication, and iteration in process calculi. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 307\u2013319. Springer, Heidelberg (2004)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-50580-6_25","volume-title":"Advances in Petri Nets 1988","author":"P. Degano","year":"1988","unstructured":"Degano, P., Gorrieri, R., Marchetti, S.: An exercise in concurrency: a CSP process as a condition\/event system. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol.\u00a0340, pp. 85\u2013105. Springer, Heidelberg (1988)"},{"issue":"4-5","key":"1_CR7","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00165-008-0079-2","volume":"20","author":"R. Devillers","year":"2008","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: A compositional Petri net translation of general pi-calculus terms. Formal Aspects of Computing\u00a020(4-5), 429\u2013450 (2008)","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"1_CR8","first-page":"143","volume":"30","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets - a survey. Elektronische Informationsverarbeitung und Kybernetik\u00a030(3), 143\u2013160 (1994)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-15204-0_11","volume-title":"Advances in Petri Nets 1984","author":"U. Goltz","year":"1985","unstructured":"Goltz, U., Reisig, W.: CSP-programs with individual tokens. In: Rozenberg, G. (ed.) APN 1984. LNCS, vol.\u00a0188, pp. 169\u2013196. Springer, Heidelberg (1985)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BFb0039047","volume-title":"CONCUR \u201990","author":"R. Gorrieri","year":"1990","unstructured":"Gorrieri, R., Montanari, U.: SCONE: A simple calculus of nets. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 2\u201330. Springer, Heidelberg (1990)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0049331","volume-title":"Computer Science Logic","author":"Y. Hirshfeld","year":"1994","unstructured":"Hirshfeld, Y.: Petri nets and the equivalence problem. In: B\u00f6rger, E., Gurevich, Y., Meinke, K. (eds.) CSL 1993. LNCS, vol.\u00a0832, pp. 165\u2013174. Springer, Heidelberg (1994)"},{"key":"1_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E. Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 235\u2013252. Springer, Heidelberg (1997)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.advengsoft.2012.02.006","volume":"50","author":"M. Llorens","year":"2012","unstructured":"Llorens, M., Oliver, J., Silva, J., Tamarit, S.: Generating a Petri net from a CSP specification: A semantics-based method. Advances in Engineering Software\u00a050, 110\u2013130 (2012)","journal-title":"Advances in Engineering Software"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-60218-6_13","volume-title":"CONCUR \u201995 Concurrency Theory","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Priese, L., Sassone, V.: Characterizing behavioural congruences for Petri nets. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 175\u2013189. Springer, Heidelberg (1995)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-18086-9_27","volume-title":"Advances in Petri Nets 1987","author":"E.R. Olderog","year":"1987","unstructured":"Olderog, E.R.: Operational Petri net semantics for CCSP. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 196\u2013223. Springer, Heidelberg (1987)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Understanding Petri Nets. Springer (2013)","DOI":"10.1007\/978-3-642-33278-4"},{"key":"1_CR18","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, Upper Saddle River (1998)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43376-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:10:03Z","timestamp":1558894203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43376-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662433751","9783662433768"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43376-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}