G. Berry, The Foundations of Esterel Language and Interaction: Essays in Honour of, 1998.

E. Best, R. Devillers, and J. Esparza, General refinement and recursion operators for the Petri Box calculus, LNCS, vol.665, pp.130-140, 1993.
DOI : 10.1007/3-540-56503-5_16

E. Best, R. Devillers, and J. G. Hall, The box calculus: A new causal algebra with multi-label communication, LNCS, vol.609, pp.21-69, 1992.
DOI : 10.1007/3-540-55610-9_167

E. Best, W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz, M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages, Acta Informatica, vol.35, issue.10, 1998.
DOI : 10.1007/s002360050144

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

E. Best and M. Koutny, Petri net semantics of priority systems, Theoretical Computer Science, vol.96, issue.1, pp.175-215, 1992.
DOI : 10.1016/0304-3975(92)90184-H

E. Best and H. Wimmel, Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets, 2000.
DOI : 10.1007/3-540-44988-4_6

R. Devillers, H. Klaudel, and R. Riemann, General refinement for high level petri nets, FST&TCS'97, pp.297-311, 1997.
DOI : 10.1007/BFb0058038

H. J. Genrich, K. Lautenbach, and P. S. Thiagarajan, Elements of general net theory, Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, pp.21-163, 1980.
DOI : 10.1007/3-540-10001-6_22

R. Devillers, H. Klaudel, and R. Riemann, General parameterised refinement and recursion for the M-net calculus, Theoretical Computer Science, vol.300, issue.1-3
DOI : 10.1016/S0304-3975(02)00088-9
URL : https://hal.archives-ouvertes.fr/hal-00005602

J. Esparza, Model checking using net unfoldings, Science of Computer Programming, vol.23, issue.2-3, pp.151-195, 1994.
DOI : 10.1016/0167-6423(94)00019-0

H. Fleishhack and B. Grahlmann, A Petri net semantics for B(PN)/sup 2/ with procedures, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, 1997.
DOI : 10.1109/PDSE.1997.596823

B. Grahlmann and E. Best, PEP ??? more than a Petri Net tool, LNCS 1055, 1996.
DOI : 10.1007/3-540-61042-1_58

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

H. Klaudel and F. Pommereau, Asynchronous Links in the PBC and M-Nets, ASIAN'99, pp.190-200, 1999.
DOI : 10.1007/3-540-46674-6_17
URL : https://hal.archives-ouvertes.fr/hal-00114697

H. Klaudel and R. Riemann, High level expressions with their SOS semantics, CONCUR'97, pp.288-301, 1997.
DOI : 10.1007/3-540-63141-0_20

H. Klaudel and R. Riemann, Refinement-based semantics od parallel procedures, PDPTA'99, 1999.

J. Lilius and E. Pelz, An M-net semantics of B(PN) 2 with procedures, ISCIS, vol.1, 1996.

R. Milner, A calculus of communicating systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

T. Vesper and M. Weber, Automatishes verteiltes rüchksetzen, Proceedings of the workshop " Formale Beschreibungstechniken für verteilte Systeme " , number 9 in GI/ITG Fachgespräch, 1999.

M. Kishinevsky, J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin et al., Coupling asynchrony and interrupts: place chart nets and their synthesis, ICATPN'97, pp.328-347, 1997.