Developments in ecological modeling based on cellular automata, 2015. ,
Process mining, discovery, and integration using distance measures, 2006 IEEE International Conference on Web Services (ICWS'06), pp.479-488, 2006. ,
Comparing metabolic pathways through potential fluxes: a selective opening approach, BioPPN@Petri Nets, 2013. ,
Comparing metabolic pathways through reactions and potential fluxes, Trans. Petri Nets and Other Models of Concurrency, vol.8, pp.1-23, 2013. ,
Petri nets for modelling metabolic pathways: a survey, Natural Computing, vol.9, issue.4, pp.955-989, 2010. ,
Abstract machines of systems biology, Transactions on Computational Systems Biology, vol.3737, pp.145-168, 2005. ,
Formal molecular biology, TCS, vol.325, issue.1, pp.69-110, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00164591
Activity networks with delays an application to toxicity analysis, Fundamenta Informaticae, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01152719
Similarity of business process models: Metrics and evaluation, Special Issue: Semantic Integration of Data, Multimedia, and Services, vol.36, pp.498-516, 2011. ,
Reaction systems, Fund. Inform, vol.75, issue.1-4, pp.263-280, 2007. ,
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. ,
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
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
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
Using Petri nets to identify basins of attraction and tipping points of an ecosystem, 2017. ,
Rewriting systems and the modelling of biological systems, Comparative and Functional Genomics, vol.5, pp.95-99, 2004. ,
Modularization of biochemical networks based on classification of Petri net tinvariants, BMC Bioinformatics, vol.9, issue.1, p.90, 2008. ,
Notions of similarity for systems biology models, Briefings in Bioinformatics, vol.19, issue.1, pp.77-88, 2018. ,
The Sat4j library, release 2.2, Boolean Modeling and Computation, vol.7, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
Elements of physical biology, 1925. ,
Will a large complex system be stable?, Nature, vol.238, p.413, 1972. ,
Network motifs: Simple building blocks of complex networks, Science, vol.298, issue.5594, pp.824-827, 2002. ,
Comparing stories with the use of Petri nets, 2015. ,
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.
Input/output format and solver requirements for the competitions of pseudo-Boolean solvers, 2012. ,
Introduction to Bisimulation and Coinduction, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00907026
Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science, vol.55, 2003. ,
Boolean formalisation of genetic control circuits, Journal of theoretical biology, vol.42, pp.565-583, 1973. ,
Features of similarity, Psychological Review, vol.84, issue.4, pp.327-352, 1977. ,
Equivalence notions for concurrent systems and refinement of actions, Mathematical Foundations of Computer Science, pp.237-248, 1989. ,
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. ,
A graphical query language for querying Petri nets, Information Systems: Modeling, Development, and Integration, pp.514-525, 2009. ,