P. Baldan, F. Bonchi, and F. Gadducci, Encoding Asynchronous Interactions Using Open Petri Nets, CONCUR 2009, pp.99-114, 2009.
DOI : 10.1016/S0304-3975(02)00867-8
URL : https://hal.archives-ouvertes.fr/hal-01284925

P. Baldan, A. Corradini, H. Ehrig, R. Heckel, and B. König, Bisimilarity and behaviour-preserving reconfigurations of open Petri nets, Logical Methods in Computer Science, vol.4, issue.4, 2008.

E. Best, R. Devillers, and J. G. Hall, The Petri Box Calculus, APN 1992, pp.21-69, 1992.
DOI : 10.1007/978-3-662-04457-5_2

R. Bruni, H. C. Melgratti, U. Montanari, and P. Sobocinski, Connector algebras for C/E and P/T nets' interactions, Logical Methods in Computer Science, vol.9, issue.3, pp.1-65, 2013.

N. Busi, M. Gabbrielli, and G. Zavattaro, Comparing Recursion, Replication, and Iteration in Process Calculi, ICALP 2004, pp.307-319, 2004.
DOI : 10.1007/978-3-540-27836-8_28

P. Degano, R. Gorrieri, and S. Marchetti, An exercise in concurrency: A CSP process as a condition/event system, APN 1987, pp.85-105, 1988.
DOI : 10.1007/3-540-50580-6_25

R. Devillers, H. Klaudel, and M. Koutny, A compositional Petri net translation of general pi-calculus terms, Formal Aspects of Computing, vol.20, pp.4-5, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340124

J. Esparza and M. Nielsen, Decidability issues for Petri nets -a survey, Elektronische Informationsverarbeitung und Kybernetik, vol.30, issue.3, pp.143-160, 1994.

U. Goltz and W. Reisig, Csp-programs as nets with individual tokens, APN 1984, pp.169-196, 1985.
DOI : 10.1007/3-540-15204-0_11

R. Gorrieri and U. Montanari, SCONE: A simple calculus of nets, CONCUR 1990, pp.2-30, 1990.
DOI : 10.1007/BFb0039047

Y. Hirshfeld, Petri nets and the equivalence problem, CSL 1993, pp.165-174, 1994.
DOI : 10.1007/BFb0049331

C. A. Hoare, Communicating Sequential Processes, 1985.

E. Kindler, A compositional partial order semantics for Petri net components, ICATPN 1997, pp.235-252, 1997.
DOI : 10.1007/3-540-63139-9_39

M. Llorens, J. Oliver, J. Silva, and S. Tamarit, Generating a Petri net from a CSP specification: A semantics-based method, Advances in Engineering Software, vol.50, pp.110-130, 2012.
DOI : 10.1016/j.advengsoft.2012.02.006

M. Nielsen, L. Priese, and V. Sassone, Characterizing behavioural congruences for Petri nets, CONCUR 1995, pp.175-189, 1995.
DOI : 10.1007/3-540-60218-6_13

E. R. Olderog, Operational Petri net semantics for CCSP, APN 1986, pp.196-223, 1987.
DOI : 10.1007/3-540-18086-9_27

W. Reisig, Understanding Petri Nets, 2013.
DOI : 10.1007/978-3-642-33278-4

A. W. Roscoe, The Theory and Practice of Concurrency, 1998.