2 papers
cs.SE2013
Model Checking Contest @ Petri Nets, Report on the 2013 edition
Fabrice Kordon, Alban Linard, Marco Beccuti +14
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of…
cs.LO2011
Modelling of Genetic Regulatory Mechanisms with GReg
Nicolas Sedlmajer, Didier Buchs, Steve Hostettler +3
Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the c…