Towards a Petri net semantics for membrane systems
01 Jan 2005-
About: The article was published on 2005-01-01 and is currently open access. It has received 71 citations till now. The article focuses on the topics: Petri net & Semantics (computer science).
Citations
More filters
25 Jun 2007
TL;DR: A formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way is introduced.
Abstract: The formalism of P systems is known for many years, yet just recently new derivation modes and halting conditions have been proposed. For developing comparable results, a formal description of their functioning, in particular, of the derivation step is necessary. We introduce a formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way.
87 citations
TL;DR: It is found that the CA model is very sensitive to initial conditions and produces appropriate qualitative dynamics only for a narrow range of rule probabilities, and the cP system model is robust to a wide range of conditions and parameters.
Abstract: Recently a cellular automaton (CA) has been used to model the dynamics of HIV infection, with interesting results. We replicate and further test this model, and we introduce an alternative model based on conformon-P (cP) systems. We find (in common with other recently published comments) that the CA model is very sensitive to initial conditions and produces appropriate qualitative dynamics only for a narrow range of rule probabilities. In contrast, the cP system model is robust to a wide range of conditions and parameters, with more reproducible qualitative agreement to the overall dynamics and to the densities of healthy and infected cells observed in vivo.
41 citations
Journal Article•
TL;DR: A process model based on Petri nets is proposed to describe the structure of the behaviour of basic membrane systems and the resulting formalism should be of use in the investigation of the ways in which computations of membrane systems can evolve.
Abstract: A process model based on Petri nets is proposed to describe the structure of the behaviour of basic membrane systems. In [12], a systematic and structural link has been established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, Place/Transition nets with explicit localities have been introduced. Each locality identifies a distinct set of transitions which may only be executed synchronously, i.e., in a locally maximal concurrent manner. Here, we develop the notion of a process for these nets. The resulting formalism should be of use in the investigation of the ways in which computations of membrane systems can evolve.
40 citations
25 Jun 2007
TL;DR: P systems, π-calculus, and Petri nets models, and two tools, Daikon, used in software reverse-engineering, and PRISM, a probabilistic model checker, are investigated for their expressiveness and complementary roles in describing and analyzing biological systems.
Abstract: This paper investigates a hybrid approach to modeling molecular interactions in biology P systems, π-calculus, and Petri nets models, and two tools, Daikon, used in software reverse-engineering, and PRISM, a probabilistic model checker, are investigated for their expressiveness and complementary roles in describing and analyzing biological systems A simple case study illustrates this approach
32 citations
References
More filters
TL;DR: It is proved that the P systems with the possibility of objects to cooperate characterize the recursively enumerable sets of natural numbers; moreover, systems with only two membranes suffice.
2,327 citations
Book•
01 Jan 2002
TL;DR: This chapter discusses Membrane Computing, What It Is and What It is Not, and attempts to get back to reality with open problems and Universality results.
Abstract: Preface.- 1. Introduction: Membrane Computing, What It Is and What It Is Not.- 2. Prerequisites.- 3. Membrane Systems with Symbol-Objects.- 4. Trading Evolution for Communication.- 5. Structuring Objects.- 6. Networks of Membranes.- 7. Trading Space for Time.- 8. Further Technical Results.- 9. (Attempts to Get) Back to Reality.- Open Problems.- Universality Results. Bibliography.- Index.
1,760 citations
TL;DR: To connect the abstract ideas of events and domains of information, it is shown how casual nets induce certain kinds of domains where the information points are certain sets of events, which allows translations between the languages of net theory and domain theory.
987 citations
29 Jun 1992
423 citations