E. Proof, R. Best, J. Devillers, and . Hall, The Petri Box Calculus: a New Causal Algebra with Multilabel Communication Advances in Petri Nets, LNCS, vol.609, issue.1, 1992.

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

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

R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, An Algebra of Non-safe Petri Boxes, AMAST'02, 2002.
DOI : 10.1007/3-540-45719-4_14

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

H. Klaudel and F. Pommereau, Asynchronous links in the PBC and M-nets. ASIAN'99, LNCS 1742, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00114697

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

G. D. Plotkin, A Structural Approach to Operational Semantics, 1981.