K. Agnihotri and N. Sharma, Developments in ecological modeling based on cellular automata, 2015.

J. Bae, L. Liu, J. Caverlee, and W. B. Rouse, Process mining, discovery, and integration using distance measures, 2006 IEEE International Conference on Web Services (ICWS'06), pp.479-488, 2006.

P. Baldan, M. Bocci, N. Cocco, and M. Simeoni, Comparing metabolic pathways through potential fluxes: a selective opening approach, BioPPN@Petri Nets, 2013.

P. Baldan, N. Cocco, F. Giummoì-e, and M. Simeoni, Comparing metabolic pathways through reactions and potential fluxes, Trans. Petri Nets and Other Models of Concurrency, vol.8, pp.1-23, 2013.

P. Baldan, N. Cocco, A. Marin, and M. Simeoni, Petri nets for modelling metabolic pathways: a survey, Natural Computing, vol.9, issue.4, pp.955-989, 2010.

L. Cardelli, Abstract machines of systems biology, Transactions on Computational Systems Biology, vol.3737, pp.145-168, 2005.

V. Danos and C. Laneve, Formal molecular biology, TCS, vol.325, issue.1, pp.69-110, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00164591

F. Delaplace, C. Di-giusto, J. Giavitto, and H. Klaudel, Activity networks with delays an application to toxicity analysis, Fundamenta Informaticae, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01152719

R. Dijkman, M. Dumas, B. Van-dongen, R. Käärik, and J. Mendling, Similarity of business process models: Metrics and evaluation, Special Issue: Semantic Integration of Data, Multimedia, and Services, vol.36, pp.498-516, 2011.

A. Ehrenfeucht and G. Rozenberg, Reaction systems, Fund. Inform, vol.75, issue.1-4, pp.263-280, 2007.

J. Euzenat, P. Shvaiko, N. J. Secaucus, U. Fages, F. Soliman et al., Formal cell biology in biocham, Proceedings of the Formal Methods for the Design of Computer, Communication, and Software Systems 8th International Conference on Formal Methods for Computational Systems Biology, SFM'08, pp.54-80, 2007.

C. Gaucherel, Influence of spatial patterns on ecological applications of extremal principles, Ecological Modelling, vol.193, pp.531-542, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00023305

C. Gaucherel, F. Boudon, T. Houet, M. Castets, and C. Godin, Understanding patchy landscape dynamics: Towards a landscape language, PLoS ONE, vol.7, issue.9, p.16, 2012.
URL : https://hal.archives-ouvertes.fr/halshs-00750971

C. Gaucherel, F. Houllier, D. Auclair, and T. Houet, Dynamic Landscape Modelling : The Quest for a Unifying Theory. Living reviews in landscape Research, vol.8, pp.5-31, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01211675

C. Gaucherel and F. Pommereau, Using Petri nets to identify basins of attraction and tipping points of an ecosystem, 2017.

J. Giavitto, G. Malcolm, M. , and O. , Rewriting systems and the modelling of biological systems, Comparative and Functional Genomics, vol.5, pp.95-99, 2004.

E. Grafahrend-belau, F. Schreiber, M. Heiner, A. Sackmann, B. H. Junker et al., Modularization of biochemical networks based on classification of Petri net tinvariants, BMC Bioinformatics, vol.9, issue.1, p.90, 2008.

R. Henkel, R. Hoehndorf, T. Kacprowski, C. Knüpfer, W. Liebermeister et al., Notions of similarity for systems biology models, Briefings in Bioinformatics, vol.19, issue.1, pp.77-88, 2018.

L. Berre, D. Parrain, and A. , The Sat4j library, release 2.2, Boolean Modeling and Computation, vol.7, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

A. J. Lotka, Elements of physical biology, 1925.

R. M. May, Will a large complex system be stable?, Nature, vol.238, p.413, 1972.

R. Milo, S. Shen-orr, S. Itzkovitz, N. Kashtan, D. Chklovskii et al., Network motifs: Simple building blocks of complex networks, Science, vol.298, issue.5594, pp.824-827, 2002.

L. Mooiman, Comparing stories with the use of Petri nets, 2015.

A. Paun, M. Paun, A. Rodríguez-patón, and M. Sidoroff, P systems with proteins on membranes: a survey, Int. Journal of Foundations of Computer Science, vol.22, issue.1, pp.39-53, 2011.

, Pseudo-Boolean competition, p.16, 2016.

O. Roussel and V. Manquinho, Input/output format and solver requirements for the competitions of pseudo-Boolean solvers, 2012.

D. Sangiorgi, Introduction to Bisimulation and Coinduction, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00907026

T. , Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, vol.55, 2003.

R. Thomas, Boolean formalisation of genetic control circuits, Journal of theoretical biology, vol.42, pp.565-583, 1973.

A. Tversky, Features of similarity, Psychological Review, vol.84, issue.4, pp.327-352, 1977.

R. Van-glabbeek and U. Goltz, Equivalence notions for concurrent systems and refinement of actions, Mathematical Foundations of Computer Science, pp.237-248, 1989.

J. Wang, T. He, L. Wen, N. Wu, A. H. Ter-hofstede et al., A behavioral similarity measure between labeled Petri nets based on principal transition sequences, On the Move to Meaningful Internet Systems: OTM 2010-Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, pp.394-401, 2010.

L. Xiao, L. Zheng, J. Xiao, Y. Huang, J. Yang et al., A graphical query language for querying Petri nets, Information Systems: Modeling, Development, and Integration, pp.514-525, 2009.