Hybrid Functional Petri Nets, shortly HFPN, which are an extension of Petri Nets for biopathways modelling, are formalised and compared with Metabolic P Systems. An introduction to both the formalisms is given, together with highlights about respective similarities and differences. Their equivalence is thus proved by means of a theorem which holds under quite general hypotheses. The case study of the lac operon gene regulatory mechanism in the glycolytic pathway of Escherichia coli is modeled by an MP system which provides the same dynamics of an equivalent HFPN model.
Hybrid Functional Petri Nets as MP systems
CASTELLINI, ALBERTO;FRANCO, Giuditta;MANCA, Vincenzo
2010-01-01
Abstract
Hybrid Functional Petri Nets, shortly HFPN, which are an extension of Petri Nets for biopathways modelling, are formalised and compared with Metabolic P Systems. An introduction to both the formalisms is given, together with highlights about respective similarities and differences. Their equivalence is thus proved by means of a theorem which holds under quite general hypotheses. The case study of the lac operon gene regulatory mechanism in the glycolytic pathway of Escherichia coli is modeled by an MP system which provides the same dynamics of an equivalent HFPN model.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
