Publications

(2022) Model-Checking Ecological State-Transition Graphs
Colin Thomas, Maximilien Cosme, Cédric Gaucherel, Franck Pommereau
PLOS Computational Biology
PDF Cite DOI
(2022) Petri Nets Semantics of Reaction Rules (RR)
Franck Pommereau, Colin Thomas, Cédric Gaucherel
Proc. of PETRINETS'22
PDF Cite
(2022) Is a Community State Reachable, and Why?
Mathieu de Goër de Herve, Colin Thomas, Maximilien Cosme, Philip Warren, Cédric Gaucherel
PDF Cite DOI
(2022) EDEN Framework for Interactive Analysis of Ecosystems Models
Franck Pommereau, Colin Thomas, Cédric Gaucherel
PNSE'22
PDF Cite