E. Best, R. Devillers, and J. Hall, The Petri Box Calculus: a New Causal Algebra with Multilabel Communication, APN'92, vol.609, 1992.

E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, EATCS Monographs on TCS, 2001.

R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, Asynchonous Box Calculus. Fundamenta Informaticae, vol.54, issue.1, 2003.

C. Bui-thanh, H. Klaudel, and F. Pommereau, Box Calculus with Coloured Buffers. LACL TR, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00114687

C. Bui-thanh, Modèles Orientés-Objet pour la Véri-fication de Systèmes Concurrents, Univ. Paris, vol.12, 2004.

H. Klaudel, Compositional high-level Petri net semantics of a parallel programming language with procedures, SCP, vol.41, 2001.

H. Klaudel and F. Pommereau, A class of composable and preemptible high-level Petri nets with an application to multi-tasking 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. CONCUR'97, vol.1243, 1997.

F. Pommereau, Causal Time Calculus. FOR-MATS'03, vol.2791, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00114673

F. Pommereau, SNAKES is the Net Algebra Kit for Editors and Simulators. Comete Procope Workshop, 2004.