Home
Resources
Publications
Validation of Biological Models With Temporal Logic and Timed Hybrid Petri Nets

Validation of Biological Models With Temporal Logic and Timed Hybrid Petri Nets

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot

Conf Proc IEEE Eng Med Biol Soc. 2007;2007:4603-8.

PMID: 18003031

Abstract:

The Hybrid Functional Petri Nets (HFPN) formalism has shown its convenience for modelling biological systems. This class of models has been fruitfully applied in biology but the remarkable expressiveness of HFPN often leads to incomplete validations. In this paper, we propose a logical framework for Timed Hybrid Petri Nets (THPN), a sub-class of HFPN. We propose an extension of Event Clock Logic dedicated to THPN and a procedure to convert a THPN into a real-time automaton. A small biological model shows that our framework allows us to formally prove properties by a well suited model-checking procedure.

Chemicals Related in the Paper:

Catalog Number	Product Name	Structure	CAS Number	Price
AP100079263	THPN		100079-26-3	Price

As a specialist in analytical chemical Products, Alfa Chemistry offers consumers a wealth of raw materials and a full range of technologies and services.

QUICK LINKS

HEADQUARTERS

Tel:

Fax:

Email: