Petri nets: an introduction
A petri net application to model metabolic processes
Systems Analysis Modelling Simulation
Discrete Event Dynamic Systems
Expressiveness of XSDs: from practice to theory, there and back again
WWW '05 Proceedings of the 14th international conference on World Wide Web
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
A photosynthetic process modelled by a metabolic P system
Natural Computing: an international journal
Hybrid Functional Petri Nets as MP systems
Natural Computing: an international journal
Discrete simulations of biochemical dynamics
DNA13'07 Proceedings of the 13th international conference on DNA computing
Reaction-driven membrane systems
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part II
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a p systems pseudomonas quorum sensing model
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems and the modeling of biochemical oscillations
WMC'05 Proceedings of the 6th 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
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Hi-index | 0.00 |
Metabolic P systems (MP systems) are a special class of P systems introduced for expressing biological metabolic phenomena. The graphical formalism of MP graphs represents, in a simple and intuitive way, the structure of these systems. However, there are some cases in which they would be better specified by semi-structured textual documents, especially for information exchanging between different computational tools elaborating on different biological aspects. The aim of this paper is to define such a way of exportation from MP graphs to XML documents. It turns out that all properties which guarantee the correctness of MP graphs can be formally described by means of logical formulae on trees, and completely expressed as XML constraints in XSD (XML Schema Definition), a W3C standard for XML validation.