9 citations · 24 across the 3 of their papers we have counts for
3 papers
cs.SE2013★ 9 cited
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.SE2012★ 9 cited
Raw Report on the Model Checking Contest at Petri Nets 2012
F. Kordon, A. Linard, D. Buchs +11
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of…
cs.CE2010★ 6 cited
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconn…