Enzymatic competition: Modeling and verification with timed hybrid petri nets

Authors:
Sylvie Troncale;Jean-Paul Comet;Gilles Bernot
Affiliations:
IBISC, University of Evry, 523 Places des Terrasses, 91000 Evry, France;IBISC, University of Evry, 523 Places des Terrasses, 91000 Evry, France;IBISC, University of Evry, 523 Places des Terrasses, 91000 Evry, France
Venue:
Pattern Recognition
Year:
2009

Citing 2
Cited 0

Event-clock automata: a determinizable class of timed automata

Theoretical Computer Science
The logic of event clocks: decidability, complexity and expressiveness

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.01

Visualization

Abstract

The formalism of hybrid functional petri nets (HFPN) has proved its convenience for simulating biological systems. The drawback of the noticeable expressiveness of HFPN is the difficulty to perform formal verifications of dynamical properties. In this article, we propose a model-checking procedure for timed hybrid petri nets (THPN), a sub-class of HFPN. This procedure is based on the translation of the THPN model and of the studied property into real-time automata. It is applied to model enzymatic competitions existing in amphibian metamorphosis.