Petri nets: an introduction
A petri net application to model metabolic processes
Systems Analysis Modelling Simulation
Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Petri Net Representations in Metabolic Pathways
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Discrete simulations of biochemical dynamics
DNA13'07 Proceedings of the 13th international conference on DNA computing
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Evolution and oscillation in p systems: applications to biological phenomena
WMC'04 Proceedings of the 5th international conference on Membrane Computing
XML representation of metabolic P systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Metabolic p system flux regulation by artificial neural networks
WMC'09 Proceedings of the 10th international conference on Membrane Computing
An outline of MP modeling framework
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
In this work we give a formalization of Hybrid Functional Petri Nets, shortly HFPN, an extension of Petri Nets for biopathways modelling, and we compare them 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.