@article(abbes:hal-00350226,
 author       = {Samy Abbes and Albert Benveniste},
 year         = {2006},
 title        = {{Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures}},
 journal      = {{Information and Computation}},
 volume       = {204},
 number       = {2},
 pages        = {231--274},
 doi          = {10.1016/j.ic.2005.10.001},
)
@article(calzone2010,
 author       = {Laurence Calzone and Laurent Tournier and Simon Fourquet and Denis Thieffry and Boris Zhivotovsky and Emmanuel Barillot and Andrei Zinovyev},
 year         = {2010},
 title        = {Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement},
 journal      = {PLOS Computational Biology},
 volume       = {6},
 number       = {3},
 pages        = {e1000702},
 doi          = {10.1371/journal.pcbi.1000702},
)
@inproceedings(CHJPS-cmsb14,
 author       = {{\relax Th}omas Chatain and Stefan Haar and Lo{\"\i}g Jezequel and Lo{\"\i}c Paulev{\'e} and Stefan Schwoon},
 year         = {2014},
 title        = {Characterization of Reachable Attractors Using {P}etri Net Unfoldings},
 editor       = {Pedro Mendes},
 booktitle    = {{P}roceedings of the 12th {C}onference on {C}omputational {M}ethods in {S}ystem {B}iology ({CMSB}'14)},
 series       = {Lecture Notes in Bioinformatics},
 volume       = {8859},
 publisher    = {Springer-Verlag},
 address      = {Manchester, UK},
 pages        = {129--142},
 doi          = {10.1007/978-3-319-12982-2_10},
)
@article(CHKPT-nc19,
 author       = {Thomas Chatain and Stefan Haar and Juraj Kolc{\'{a}}k and Lo{\"{\i}}c Paulev{\'{e}} and Aalok Thakkar},
 year         = {2020},
 title        = {Concurrency in Boolean networks},
 journal      = {Nat. Comput.},
 volume       = {19},
 number       = {1},
 pages        = {91--109},
 doi          = {10.1007/s11047-019-09748-4},
)
@article(Cohen2015,
 author       = {David P. A. Cohen and Loredana Martignetti and Sylvie Robine and Emmanuel Barillot and Andrei Zinovyev and Laurence Calzone},
 year         = {2015},
 title        = {Mathematical Modelling of Molecular Pathways Enabling Tumour Cell Invasion and Migration},
 journal      = {PLoS Comput Biol},
 volume       = {11},
 number       = {11},
 pages        = {e1004571},
 doi          = {10.1371/journal.pcbi.1004571},
)
@book(Esparza08,
 author       = {J. Esparza and K. Heljanko},
 year         = {2008},
 title        = {Unfoldings -- A Partial-Order Approach to Model Checking},
 publisher    = {Springer},
 note         = {ISBN: 978-3-540-77426-6},
)
@article(ERV02,
 author       = {J. Esparza and S. R{\"o}mer and W. Vogler},
 year         = {2002},
 title        = {An Improvement of {McMillan's} Unfolding Algorithm},
 journal      = {FMSD},
 volume       = {20},
 pages        = {285--310},
 doi          = {10.1023/A:1014746130920},
)
@article(bifurcations-BMC,
 author       = {Louis Fippo Fitime and Olivier Roux and Carito Guziolowski and Lo{\"i}c Paulev{\'e}},
 year         = {2017},
 title        = {Identification of bifurcation transitions in biological regulatory networks using {A}nswer-{S}et {P}rogramming},
 journal      = {Algorithms for Molecular Biology},
 volume       = {12},
 number       = {1},
 pages        = {19},
 doi          = {10.1186/s13015-017-0110-3},
)
@article(clingo,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2014},
 title        = {Clingo = {ASP} + Control: Preliminary Report},
 journal      = {CoRR},
 volume       = {abs/1405.3694},
 doi          = {10.48550/arXiv.1405.3694},
)
@article(GiuaXie2005,
 author       = {A. Giua and X. Xie},
 year         = {2005},
 title        = {Control of safe ordinary Petri nets using unfolding},
 journal      = {Discrete Event Dynamic Systems},
 volume       = {15},
 number       = {4},
 pages        = {349--373},
 doi          = {10.1007/s10626-005-4057-z},
)
@inproceedings(HPS-cmsb20,
 author       = {Stefan Haar and Lo{\"i}c Paulev{\'e} and Stefan Schwoon},
 year         = {2020},
 title        = {{Drawing the Line: Basin Boundaries in Safe Petri Nets}},
 editor       = {Alessandro Abate and Tatjana Petrov and Verena Wolf},
 booktitle    = {{P}roc.18th {C}onf. on {C}omputational {M}ethods in {S}ystem {B}iology ({CMSB}'20)},
 series       = {Lecture Notes in Bioinformatics},
 volume       = {12314},
 publisher    = {Springer},
 pages        = {321--336},
 doi          = {10.1007/978-3-030-60327-4\_17},
)
@inproceedings(HRS-acsd13,
 author       = {Stefan Haar and Rodr{\'\i}guez, C{\'e}sar and Stefan Schwoon},
 year         = {2013},
 title        = {Reveal Your Faults: It's Only Fair!},
 editor       = {Pietkiewicz{-}Koutny, Marta and Mihai Teodor Lazarescu},
 booktitle    = {{P}roc. 13th {I}nt. {C}onf. on {A}pplication of {C}oncurrency to {S}ystem {D}esign ({ACSD}'13)},
 publisher    = {{IEEE} Computer Society Press},
 address      = {Barcelona, Spain},
 pages        = {120--129},
 doi          = {10.1109/ACSD.2013.15},
)
@book(IorAnt2006,
 author       = {Marian V. Iordache and Panos J. Antsaklis},
 year         = {2006},
 title        = {Supervisory Control of Concurrent Systems: A Petri Net Structural Approach},
 publisher    = {Birkh\"auser},
 address      = {Boston, Basel, Berlin},
)
@article(Klarner18,
 author       = {H. {Klarner} and H. {Siebert} and S. {Nee} and F. {Heinitz}},
 year         = {2018},
 title        = {Basins of Attraction, Commitment Sets and Phenotypes of Boolean Networks},
 journal      = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
 doi          = {10.1109/TCBB.2018.2879097},
)
@inproceedings(McM92,
 author       = {K. L. McMillan},
 year         = {1992},
 title        = {Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits},
 booktitle    = {CAV},
 pages        = {164--177},
 doi          = {10.1007/3-540-56496-9_14},
)
@article(Mendes2018,
 author       = {Nuno D. Mendes and Rui Henriques and Elisabeth Remy and Jorge Carneiro and Pedro T. Monteiro and Claudine Chaouiya},
 year         = {2018},
 title        = {Estimating Attractor Reachability in Asynchronous Logical Models},
 journal      = {Frontiers in Physiology},
 volume       = {9},
 doi          = {10.3389/fphys.2018.01161},
)
@article(Mur89,
 author       = {T. Murata},
 year         = {1989},
 title        = {{Petri} nets: Properties, analysis and applications},
 journal      = {Proc.\ of the IEEE},
 volume       = {77},
 number       = {4},
 pages        = {541--580},
 doi          = {10.1109/5.24143},
)
@inproceedings(NPW80,
 author       = {M. Nielsen and G. D. Plotkin and G. Winskel},
 year         = {1979},
 title        = {Petri Nets, Event Structures and Domains},
 booktitle    = {SCC},
 pages        = {266--284},
 doi          = {10.1016/0304-3975(81)90112-2},
)
@article(Orlando2008,
 author       = {David A. Orlando and Charles Y. Lin and Allister Bernard and Jean Y. Wang and Joshua E. S. Socolar and Edwin S. Iversen and Alexander J. Hartemink and Steven B. Haase},
 year         = {2008},
 title        = {Global control of cell-cycle transcription by coupled {CDK} and network oscillators},
 journal      = {Nature},
 volume       = {453},
 number       = {7197},
 pages        = {944--947},
 doi          = {10.1038/nature06955},
)
@article(Ozbudak2004,
 author       = {Ertugrul M. Ozbudak and Mukund Thattai and Han N. Lim and Boris I. Shraiman and Alexander van Oudenaarden},
 year         = {2004},
 title        = {Multistability in the lactose utilization network of Escherichia coli},
 journal      = {Nature},
 volume       = {427},
 number       = {6976},
 pages        = {737--740},
 doi          = {10.1038/nature02298},
)
@misc(Mindoo,
 author       = {Lo\"ic Paulev\'e},
 title        = {Implementation of the search for minimal doomed configurations.},
 url          = {https://gitub.u-bordeaux.fr/lpauleve/doomed-configurations},
)
@inproceedings(Pint-CMSB17,
 author       = {Lo{\"i}c Paulev{\'e}},
 year         = {2017},
 title        = {{Pint: a static analyzer for transient dynamics of qualitative networks with IPython interface}},
 booktitle    = {{CMSB 2017 - 15th conference on Computational Methods for Systems Biology}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10545},
 publisher    = {Springer International Publishing},
 pages        = {309--316},
 doi          = {10.1007/978-3-319-67471-1_20},
)
@article(Pisarchik2014,
 author       = {Alexander N. Pisarchik and Ulrike Feudel},
 year         = {2014},
 title        = {Control of multistability},
 journal      = {Physics Reports},
 volume       = {540},
 number       = {4},
 pages        = {167--218},
 doi          = {10.1016/j.physrep.2014.02.007},
)
@article(Plahte1995,
 author       = {Erik Plahte and Thomas Mestl and Stig W. Omholt},
 year         = {1995},
 title        = {{Feedback} {Loops}, {Stability} {and} {Multistationarity} {in} {Dynamical} {Systems}},
 journal      = {J. Biol. Syst.},
 volume       = {03},
 number       = {02},
 pages        = {409--413},
 doi          = {10.1142/s0218339095000381},
)
@inproceedings(pommereau2022,
 author       = {Franck Pommereau and Colin Thomas and C\'edric Gaucherel},
 year         = {2022},
 title        = {Petri Nets Semantics of Reaction Rules (RR), a Language for Ecosystems Modelling},
 booktitle    = {Proc. 43rd Int. Conf. on Application and Theory of Petri Nets and Concurrency},
 address      = {Bergen, Norway},
 pages        = {1--20},
 doi          = {10.1007/978-3-031-06653-5_10},
)
@article(Richard2019,
 author       = {Adrien Richard},
 year         = {2019},
 title        = {Positive and negative cycles in Boolean networks},
 journal      = {Journal of Theoretical Biology},
 volume       = {463},
 pages        = {67--76},
 doi          = {10.1016/j.jtbi.2018.11.028},
)
@misc(mole,
 author       = {S. Schwoon},
 year         = {2014},
 title        = {The \textsc{Mole} Tool},
 note         = {URL: {\footnotesize\url {http://www.lsv.ens-cachan.fr/~schwoon/tools/mole/}}},
)
@article(tt95,
 author       = {Denis Thieffry and René Thomas},
 year         = {1995},
 title        = {Dynamical behaviour of biological regulatory networks—II. Immunity control in bacteriophage lambda},
 journal      = {Bulletin of Mathematical Biology},
 volume       = {57},
 pages        = {277--297},
 doi          = {10.1007/BF02460619},
)
@article(t80,
 author       = {R. Thomas},
 year         = {1980},
 title        = {On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations},
 journal      = {Springer Series in Synergies 9},
 pages        = {180--193},
 doi          = {10.1007/978-3-642-81703-8_24},
)
@book(ta90,
 author       = {Ren{\'e} Thomas and Richard d'Ari},
 year         = {1990},
 title        = {Biological Feedback},
 publisher    = {CRC Press},
 address      = {Boca Raton, Florida, USA},
)