E. Best, R. Devillers, and J. Hall, The Petri Box Calculus, LNCS, vol.609, 1992.
DOI : 10.1007/978-3-662-04457-5_2

E. Best, R. Devillers, and M. Koutny, A Unified Model for Nets and Process Algebras. Handbook of Process Algebra, 2001.

E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, EATCS Monographs on TCS, 2001.
DOI : 10.1007/978-3-662-04457-5

E. Best and R. P. Hopkins, B(PN) 2 ??? a basic Petri net programming notation, PARLE'93, 1993.
DOI : 10.1007/3-540-56891-3_30

G. Boudol, Asynchrony and the ?-calculus, Research Report, vol.1702, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00076939

M. Broy and E. Olderog, Trace-Oriented Models of Concurrency, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50020-5

C. Bui-thanh, H. Klaudel, and F. Pommereau, Asynchronous Box Calculus with Multi-way Communication, 2002.

C. Bui-thanh, H. Klaudel, and F. Pommereau, Box Calculus with Coloured Buffers, LACL Tech. Report, Univ. Paris, vol.12, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00114687

N. Busi, R. Gorrieri, and G. , Zavattaro A process algebraic view of Linda coordination primitives, Theoretical Computer Science, vol.192, issue.2, 1998.

R. Devillers, H. Klaudel, and M. Koutny, Compositional High-Level Petri Net Semantics of ?-calculus

J. Esparza, Model checking using net unfoldings, Science of Computer Programming, vol.23, 1994.
DOI : 10.1007/3-540-56610-4_93
URL : http://dx.doi.org/10.1016/0167-6423(94)00019-0

H. Klaudel and F. Pommereau, A class of composable and preemptible high-level Petri nets with an application to multitasking systems, Fundamenta Informaticae, vol.50, issue.1, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00114685

H. Klaudel and R. , Riemann High Level Expressions with their SOS Semantics, Proceedings of CONCUR'97, 1997.

R. Milner, J. Parrow, and J. Walker, A calculus of mobile processes , Parts I and II, Information and Computation, vol.100, issue.1, 1992.

J. Parrow, An Introduction to the ??-Calculus, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50026-6

F. Pommereau, FIFO buffers in tie sauce. DAPSYS'00, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00114694