A petri net approach to persistence analysis in chemical reaction networks, Biology and Control Theory: Current Challenges. LNCIS, vol.357, pp.181-216, 2007. ,
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. ,
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
Composable rateindependent computation in continuous chemical reaction network, Computational Methods in Systems Biology, pp.256-273, 2018. ,
Petri net modelling of biological networks, Briefings in Bioinformatics, vol.8, issue.4, pp.210-219, 2007. ,
Petri net modelling of biological regulatory networks, Journal of Discrete Algorithms, vol.6, issue.2, pp.165-177, 2008. ,
Biomodels database: A repository of mathematical models of biological processes, Silico Systems Biology, vol.1021, pp.189-199, 2013. ,
Deterministic function computation with chemical reaction networks, Natural computing, vol.7433, pp.25-42, 2012. ,
Rate-independent computation in continuous chemical reaction networks, Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, pp.313-326, 2014. ,
Programmable chemical controllers made from DNA, Nature Nanotechnology, vol.8, pp.755-762, 2013. ,
Programmability of chemical reaction networks, Algorithmic Bioprocesses, pp.543-584, 2009. ,
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
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. ,
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. ,
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
Inferring reaction systems from ordinary differential equations, Theoretical Computer Science, vol.599, pp.64-78, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01103692
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
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
Mathematical aspects of mass action kinetics, pp.1-78, 1977. ,
From petri nets to differential equations -an integrative approach for biochemical network analysis, Proceedings of ICATPN 2006, pp.181-200, 2006. ,
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. ,
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. ,
Conditions for extinction events in chemical reaction networks with discrete state spaces, Journal of Mathematical Biology, vol.76, issue.6, pp.1535-1558, 2018. ,
Metatool 5.0: fast and flexible elementary modes analysis, Bioinformatics, vol.22, issue.15, pp.1930-1931, 2006. ,
Onset dynamics of type A botulinum neurotoxin-induced paralysis, Journal of Pharmacokinetics and Pharmacodynamics, vol.35, issue.3, pp.251-267, 2008. ,
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
Max-min representation of piecewise linear functions, Contributions to Algebra and Geometry, vol.43, issue.1, pp.297-302, 2002. ,
Petri Net Theory and the Modeling of Systems, 1981. ,
Efficient turing-universal computation with DNA polymers, Proc. DNA Computing and Molecular Programming, vol.6518, pp.123-140, 2011. ,
Petri net representations in metabolic pathways, Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB), pp.328-336, 1993. ,
Application of petri net based analysis techniques to signal transduction pathways, BMC Bioinformatics, vol.7, issue.482, 2006. ,
Biomachines for medical diagnosis, Advanced Materials Letters, vol.11, issue.4, pp.1535-1558, 2020. ,
Rate-independent constructs for chemical computation, PLOS One, vol.6, issue.6, p.21414, 2011. ,
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