W. Abou-jaoudé, P. T. Monteiro, A. Naldi, M. Grandclaudon, V. Soumelis et al., Model checking to assess t-helper cell plasticity, Frontiers in Bioengineering and Biotechnology, vol.2, 2015.
DOI : 10.1101/012641

D. P. Cohen, L. Martignetti, S. Robine, E. Barillot, A. Zinovyev et al., Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration, PLOS Computational Biology, vol.7, issue.Pt 3, p.1004571, 2015.
DOI : 10.1371/journal.pcbi.1004571.s018

L. Grieco, L. Calzone, I. Bernard-pierrot, F. Radvanyi, B. Kahn-perlès et al., Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate Decision, PLoS Computational Biology, vol.17, issue.4, p.1003286, 2013.
DOI : 10.1371/journal.pcbi.1003286.s010

S. Klamt, J. Saez-rodriguez, J. Lindquist, L. Simeoni, and E. Gilles, A methodology for the structural and functional analysis of signaling and regulatory networks, BMC Bioinformatics, vol.7, issue.1, p.56, 2006.
DOI : 10.1186/1471-2105-7-56

J. Saez-rodriguez, L. Simeoni, J. A. Lindquist, R. Hemenway, U. Bommhardt et al., A Logical Model Provides Insights into T Cell Receptor Signaling, PLoS Computational Biology, vol.284, issue.8, p.163, 2007.
DOI : 10.1371/journal.pcbi.0030163.st002
URL : http://doi.org/10.1371/journal.pcbi.0030163

O. Sahin, H. Frohlich, C. Lobke, U. Korf, S. Burmester et al., Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance, BMC Systems Biology, vol.3, issue.1, pp.1-20, 2009.
DOI : 10.1186/1752-0509-3-1
URL : http://doi.org/10.1186/1752-0509-3-1

R. Samaga, J. Saez-rodriguez, L. G. Alexopoulos, P. K. Sorger, and S. Klamt, The Logic of EGFR/ErbB Signaling: Theoretical Properties and Analysis of High-Throughput Data, PLoS Computational Biology, vol.2, issue.8, p.1000438, 2009.
DOI : 10.1371/journal.pcbi.1000438.s007

N. Weinstein and L. Mendoza, A network model for the specification of vulval precursor cells and cell fusion control in Caenorhabditis elegans, Frontiers in Genetics, vol.4, issue.112, 2013.
DOI : 10.3389/fgene.2013.00112

A. Cheng, J. Esparza, and J. Palsberg, Complexity results for 1-safe nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.
DOI : 10.1016/0304-3975(94)00231-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8128

J. Sifakis, Property preserving homomorphisms of transition systems, Lecture Notes in Computer Science, vol.164, pp.458-473, 1984.
DOI : 10.1007/3-540-12896-4_381

R. P. Kurshan, Computer-aided verification of coordinating processes: the automata-theoretic approach, 1994.
DOI : 10.1515/9781400864041

C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, S. Bensalem et al., Property preserving abstractions for the verification of concurrent systems, Formal methods in system design, pp.11-44, 1995.
DOI : 10.1007/BF01384313

J. Feret, H. Koeppl, and T. Petrov, Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rulebased models, International Journal of Software and Informatics, vol.7, issue.4, pp.527-604, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01098561

V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman et al., Graphs, rewriting and pathway reconstruction for rule-based models, FSTTCS 2012, ser. LIPIcs, pp.276-288, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00809065

G. Madelaine, C. Lhoussaine, and J. Niehren, Attractor Equivalence: An Observational Semantics for Reaction Networks, First International Conference on Formal Methods in Macro-Biology, pp.82-101, 2014.
DOI : 10.1007/978-3-319-10398-3_7
URL : https://hal.archives-ouvertes.fr/hal-00990924

A. Naldi, E. Remy, D. Thieffry, and C. Chaouiya, Dynamically consistent reduction of logical regulatory graphs, Theoretical Computer Science, vol.412, issue.21, pp.2207-2218, 2011.
DOI : 10.1016/j.tcs.2010.10.021
URL : https://hal.archives-ouvertes.fr/hal-01284743

P. Schnoebelen and N. Sidorova, Bisimulation and the reduction of Petri nets, " in Application and Theory of Petri Nets 2000, ser. Lecture Notes in Computer Science, pp.409-423, 2000.

G. Berthelot, Checking properties of nets using transformations, Lecture Notes in Computer Science, G. Rozenberg, vol.222, pp.19-40, 1986.
DOI : 10.1007/BFb0016204

S. Haddad and J. Pradat-peyre, New Efficient Petri Nets Reductions for Parallel Programs Verification, Parallel Processing Letters, pp.101-116, 2006.
DOI : 10.1145/361227.361234
URL : https://hal.archives-ouvertes.fr/hal-01125149

A. Biere, E. Clarke, R. Raimi, and Y. Zhu, Verifying Safety Properties of a PowerPC??? Microprocessor Using Symbolic Model Checking without BDDs, Proc. 11 th Int. Conf. on Computer Aided Verification, pp.60-71, 1999.
DOI : 10.1007/3-540-48683-6_8

C. Talcott and D. L. Dill, Multiple Representations of Biological Processes, Transactions on Computational Systems Biology VI. Springer Science Business Media, pp.221-245, 2006.
DOI : 10.1007/11880646_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.3493

L. Paulevé, M. Magnin, and O. Roux, Static analysis of Biological Regulatory Networks dynamics using abstract interpretation, Mathematical Structures in Computer Science, vol.131, issue.04, pp.651-685, 2012.
DOI : 10.1007/s11538-008-9304-7

L. Paulevé, G. Andrieux, and H. Koeppl, Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks, Computer Aided Verification, ser. Lecture Notes in Computer Science, pp.69-84
DOI : 10.1007/978-3-642-39799-8_4

L. Paulevé, Goal-Oriented Reduction of Automata Networks, CMSB 2016 -14th conference on Computational Methods for Systems Biology, 2016.
DOI : 10.3389/fgene.2013.00112

A. Arnold, Finite Transition Systems: Semantics of Communicating Systems, 1994.

L. Bernardinello and F. De-cindio, A survey of basic net models and modular net classes, Lecture Notes in Computer Science, G. Rozenberg, vol.609, pp.304-351, 1992.
DOI : 10.1007/3-540-55610-9_177

R. Janicki, P. E. Lauer, M. Koutny, and R. Devillers, Concurrent and maximally concurrent evolution of nonsequential systems, Theoretical Computer Science, vol.43, issue.0, pp.213-238, 1986.
DOI : 10.1016/0304-3975(86)90177-5
URL : http://doi.org/10.1016/0304-3975(86)90177-5

L. Priese and H. Wimmel, A uniform approach to true-concurrency and interleaving semantics for Petri nets, Theoretical Computer Science, vol.206, issue.1-2, pp.219-256, 1998.
DOI : 10.1016/S0304-3975(97)00169-2
URL : http://doi.org/10.1016/s0304-3975(97)00169-2

R. Janicki, J. Kleijn, M. Koutny, and ?. Mikulski, Step traces, Acta Informatica, vol.286, issue.1, 2015.
DOI : 10.1016/S0304-3975(01)00234-1

J. Aracena, E. Goles, A. Moreira, and L. Salinas, On the robustness of update schedules in Boolean networks, Biosystems, vol.97, issue.1, pp.1-8, 2009.
DOI : 10.1016/j.biosystems.2009.03.006

D. Thieffry and R. Thomas, Dynamical behaviour of biological regulatory networks?ii. immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.57, pp.277-297, 1995.

G. Bernot, F. Cassez, J. Comet, F. Delaplace, C. Müller et al., Semantics of Biological Regulatory Networks, Electronic Notes in Theoretical Computer Science, vol.180, issue.3, pp.3-14, 2007.
DOI : 10.1016/j.entcs.2004.01.038
URL : https://hal.archives-ouvertes.fr/hal-00339588

A. Richard, Negative circuits and sustained oscillations in asynchronous automata networks, Advances in Applied Mathematics, vol.44, issue.4, pp.378-392, 2010.
DOI : 10.1016/j.aam.2009.11.011
URL : http://doi.org/10.1016/j.aam.2009.11.011

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

L. Paulevé and A. Richard, Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey, proceedings of The Second International Workshop on Static Analysis and Systems Biology, pp.93-104, 2011.
DOI : 10.1016/j.entcs.2012.05.017

E. J. Mccluskey, Minimization of Boolean Functions*, Bell System Technical Journal, vol.35, issue.6, pp.1417-1444, 1956.
DOI : 10.1002/j.1538-7305.1956.tb03835.x

F. Fages, T. Martinez, D. A. Rosenblueth, and S. Soliman, Influence Systems vs Reaction Systems, pp.98-115, 2016.
DOI : 10.1016/0022-5193(73)90247-6
URL : https://hal.archives-ouvertes.fr/hal-01378470

J. Esparza and K. Heljanko, Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science, An EATCS Series), 2008.

I. Curie and /. Sysbio, RB/E2F pathway

L. Move, Its tools

S. Schwoon, Mole

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, ser. Lecture Notes in Computer Science, pp.241-268, 2002.
DOI : 10.1007/3-540-45657-0_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023

A. Hamez, Y. Thierry-mieg, and F. Kordon, Building efficient model checkers using hierarchical set decision diagrams and automatic saturation, Fundam. Inf, vol.94, pp.3-4, 2009.
DOI : 10.1007/978-3-540-68746-7_16
URL : https://hal.archives-ouvertes.fr/hal-01121192

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981.

M. Folschette, L. Paulevé, K. Inoue, M. Magnin, and O. Roux, Identification of biological regulatory networks from Process Hitting models, Theoretical Computer Science, vol.568, issue.0, pp.49-71, 2015.
DOI : 10.1016/j.tcs.2014.12.002
URL : https://hal.archives-ouvertes.fr/hal-01094249

T. Murata, Petri nets: Properties, analysis and applications, Proc. of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143