T. Chatain, S. Haar, L. Jezequel, L. Paulevé, and S. Schwoon, Characterization of Reachable Attractors Using Petri Net Unfoldings, Computational Methods in Systems Biology, 2014.
DOI : 10.1007/978-3-319-12982-2_10
URL : https://hal.archives-ouvertes.fr/hal-01060450

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, p.77, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, p.79, 1979.
DOI : 10.1145/567752.567778

V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman et al., Graphs, rewriting and pathway reconstruction for rulebased models, Proc. FSTTCS '12. LIPIcs, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

V. Danos, J. Feret, W. Fontana, and J. Krivine, Abstract Interpretation of Cellular Signalling Networks, Proc. VMCAI '2008, 2008.
DOI : 10.1007/978-3-540-78163-9_11
URL : https://hal.archives-ouvertes.fr/inria-00528352

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, 2004.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591

L. Fajstrup, E. Goubault, and M. Raußen, Detecting deadlocks in concurrent systems, Proc. CONCUR '98, 1998.

J. Feret, Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation, AIP Conference Proceedings, 2007.
DOI : 10.1063/1.2836158
URL : https://hal.archives-ouvertes.fr/inria-00528358

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, LNCS, vol.1032, 1996.

J. Laurent, Causal analysis of rule-based models of signaling pathways, 2015.

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, 1955.
DOI : 10.2140/pjm.1955.5.285

G. Winskel, Event structures, Advances in Petri Nets, 1987.
DOI : 10.1007/3-540-17906-2_31
URL : https://hal.archives-ouvertes.fr/hal-00148921

J. You, DARPA sets out to automate research, Science, vol.347, issue.6221, 2015.
DOI : 10.1126/science.347.6221.465