J. P. Ban?-atre, P. Fradet, and D. L. Métayer, Gamma and the chemical reaction model : Fifteen years after, Multiset Processing, 2001.

J. Barbosa, F. Dillenburg, G. Lermen, A. Garzão, C. Costa et al., Towards a programming model for context-aware applications, Computer Languages, Systems & Structures, vol.38, issue.3, 2012.
DOI : 10.1016/j.cl.2012.04.001

P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency control and recovery in database systems, 1987.

M. Bortenschlager, G. Castelli, A. Rosi, and F. Zambonelli, A context-sensitive infrastructure for coordinating agents in ubiquitous environments. Multiagent and Grid Systems, 2009.

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, vol.32, issue.4, 1989.
DOI : 10.1145/63334.63337

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2008.

S. Chachkov and D. Buchs, From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach, Proceedings Second International Conference on Application of Concurrency to System Design, 2001.
DOI : 10.1109/CSD.2001.981768

T. Cooper, Rule-based programming under OPS5, 1988.

R. David and H. Alla, Petri nets for modeling of dynamic systems, Automatica, vol.30, issue.2, 1994.
DOI : 10.1016/0005-1098(94)90024-8

S. Evangelista, High level petri nets analysis with helena. In Applications and Theory of Petri Nets, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00149528

M. Eysholdt and H. Behrens, Xtext, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '10, 2010.
DOI : 10.1145/1869542.1869625

M. Heiner, C. Rohr, and M. Schwarick, MARCIE ??? Model Checking and Reachability Analysis Done Efficiently, Application and Theory of Petri Nets and Concurrency, 2013.
DOI : 10.1007/978-3-642-38697-8_21

L. E. Holloway, B. H. Krogh, and A. Giua, A survey of petri net methods for controlled discrete event systems, 1997.

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, 2007.
DOI : 10.1007/s10009-007-0038-x

F. Kordon, Html results from the model checking contest petri net, 2014.

E. Koutsofios and S. North, Drawing graphs with dot, 1991.

K. Lautenbach, Verifiable design of a satellite-based train control system with petri nets, 2014.

M. Louvel and F. Pacull, LINC: A Compact Yet Powerful Coordination Environment, Coordination Models and Languages, 2014.
DOI : 10.1007/978-3-662-43376-8_6
URL : https://hal.archives-ouvertes.fr/hal-01274824

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, 2005.
DOI : 10.1145/1118890.1118892

F. Pacull and L. Ducreux, Self-organisation for Building Automation Systems: Middleware LINC as an Integration Tool, IECON 2013, 39th Annual Conference of the IEEE Industrial Electronics Society, 2013.
DOI : 10.1109/IECON.2013.6700421

G. A. Papadopoulos and F. Arbab, Coordination models and languages Advances in computers, 1998.

K. Schmidt, Lola a low level analyser In Application and Theory of Petri Nets, 2000.

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, 2003.
DOI : 10.1109/MS.2003.1231150

K. I. Simonsen, L. M. Kristensen, and E. Kindler, Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification, 2014.
DOI : 10.1007/978-3-662-53401-4_1

H. Tran and U. Zdun, Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures, 2013 17th IEEE International Enterprise Distributed Object Computing Conference, 2013.
DOI : 10.1109/EDOC.2013.32