D. Angeli, P. D. Leenheer, and E. D. Sontag, A petri net approach to persistence analysis in chemical reaction networks, Biology and Control Theory: Current Challenges. LNCIS, vol.357, pp.181-216, 2007.

D. Angeli, P. D. Leenheer, and E. D. Sontag, Persistence results for chemical reaction networks with time-dependent kinetics and no global conservation laws, Proceedings of the 48h IEEE Conference on Decision and Control (CDC), pp.4559-4564, 2009.

A. Baudier, F. Fages, and S. Soliman, Graphical requirements for multistationarity in reaction networks and their verification in biomodels, Journal of Theoretical Biology, vol.459, pp.79-89, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01879735

C. Chalk, N. Kornerup, W. Reeves, and D. Soloveichik, Composable rateindependent computation in continuous chemical reaction network, Computational Methods in Systems Biology, pp.256-273, 2018.

C. Chaouiya, Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007.

C. Chaouiya, E. Remy, and D. Thieffry, Petri net modelling of biological regulatory networks, Journal of Discrete Algorithms, vol.6, issue.2, pp.165-177, 2008.

V. Chelliah, C. Laibe, and N. Novère, Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013.

H. L. Chen, D. Doty, and D. Soloveichik, Deterministic function computation with chemical reaction networks, Natural computing, vol.7433, pp.25-42, 2012.

H. L. Chen, D. Doty, and D. Soloveichik, Rate-independent computation in continuous chemical reaction networks, Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, pp.313-326, 2014.

Y. Chen, N. Dalchau, N. Srinivas, A. Phillips, L. Cardelli et al., Programmable chemical controllers made from DNA, Nature Nanotechnology, vol.8, pp.755-762, 2013.

M. Cook, D. Soloveichik, E. Winfree, and J. Bruck, Programmability of chemical reaction networks, Algorithmic Bioprocesses, pp.543-584, 2009.

A. Courbet, P. Amar, F. Fages, E. Renard, and F. Molina, Computer-aided biochemical programming of synthetic microreactors as diagnostic devices, Molecular Systems Biology, vol.14, issue.4, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01779791

P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL'77: Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp.238-252, 1977.

G. Craciun and M. Feinberg, Multiple equilibria in complex chemical reaction networks: II. the species-reaction graph, SIAM Journal on Applied Mathematics, vol.66, issue.4, pp.1321-1338, 2006.

F. Fages, G. Le-guludec, O. Bournez, and A. Pouly, Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs, CMSB'17: Proceedings of the fiveteen international conference on Computational Methods in Systems Biology, vol.10545, pp.108-127, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01519828

F. Fages, S. Gay, and S. Soliman, Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01103692

F. Fages and S. Soliman, Abstract interpretation and types for systems biology, Theoretical Computer Science, vol.403, issue.1, pp.52-70, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01431355

F. Fages and S. Soliman, From reaction models to influence graphs and back: a theorem, Proceedings of Formal Methods in Systems Biology FMSB'08. No. 5054 in Lecture Notes in Computer Science, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00419921

M. Feinberg, Mathematical aspects of mass action kinetics, pp.1-78, 1977.

D. Gilbert and M. Heiner, From petri nets to differential equations -an integrative approach for biochemical network analysis, Proceedings of ICATPN 2006, pp.181-200, 2006.

M. Heiner, D. Gilbert, R. Donaldson, M. Bernardo, and P. Degano, Petri nets for systems and synthetic biology, 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology SFM'08, vol.5016, pp.215-264, 2008.

M. Hucka, The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models, Bioinformatics, vol.19, issue.4, pp.524-531, 2003.

M. D. Johnston, D. F. Anderson, G. Craciun, and R. Brijder, Conditions for extinction events in chemical reaction networks with discrete state spaces, Journal of Mathematical Biology, vol.76, issue.6, pp.1535-1558, 2018.

A. Von-kamp and S. Schuster, Metatool 5.0: fast and flexible elementary modes analysis, Bioinformatics, vol.22, issue.15, pp.1930-1931, 2006.

F. J. Lebeda, M. Adler, K. Erickson, and Y. Chushak, Onset dynamics of type A botulinum neurotoxin-induced paralysis, Journal of Pharmacokinetics and Pharmacodynamics, vol.35, issue.3, pp.251-267, 2008.

F. Nabli, T. Martinez, F. Fages, and S. Soliman, On enumerating minimal siphons in petri nets using CLP and SAT solvers: Theoretical and practical complexity, Constraints, vol.21, issue.2, pp.251-276, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01170962

S. Ovchinnikov, Max-min representation of piecewise linear functions, Contributions to Algebra and Geometry, vol.43, issue.1, pp.297-302, 2002.

J. L. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

L. Qian, D. Soloveichik, and E. Winfree, Efficient turing-universal computation with DNA polymers, Proc. DNA Computing and Molecular Programming, vol.6518, pp.123-140, 2011.

V. N. Reddy, M. L. Mavrovouniotis, and M. N. Liebman, Petri net representations in metabolic pathways, Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB), pp.328-336, 1993.

A. Sackmann, M. Heiner, and I. Koch, Application of petri net based analysis techniques to signal transduction pathways, BMC Bioinformatics, vol.7, issue.482, 2006.

F. S. Schneider, P. Amar, A. Bahri, J. Espeut, J. Baptiste et al., Biomachines for medical diagnosis, Advanced Materials Letters, vol.11, issue.4, pp.1535-1558, 2020.

P. Senum and M. Riedel, Rate-independent constructs for chemical computation, PLOS One, vol.6, issue.6, p.21414, 2011.

S. Soliman, Invariants and other structural properties of biochemical models as a constraint satisfaction problem, Algorithms for Molecular Biology, vol.7, issue.15, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00784404