6 citations · 8 across the 2 of their papers we have counts for
2 papers
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…
cs.FL2010★ 2 cited
A Decidable Characterization of a Graphical Pi-calculus with Iterators
Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to…