Towards a Petri Net Semantics for Membrane Systems

Synchrony and Asynchrony in Membrane Systems

“…As a formal behavioural model we use Petri nets and their processes which capture the notion of an execution in concurrent contexts. We continue our earlier work reported in [14], where a systematic and structural link has been established between a basic class of membrane systems and Petri nets. Here, we look at some natural extensions of this basic class of membrane systems and investigate the ways in which they can be represented within the behavioural model provided by Petri nets.…”

Membrane Computing

“…Consequently, they are similar to Petri nets. In particular, there is a canonical way of translating membrane systems into Petri nets with transitions corresponding to evolution rules [10]. This translation is faithful in the sense that it relates computation steps at the lowest level and induces in a natural way extensions and interpretations of Petri net structure and behaviour.…”

“…The strong semantical link between the two models invites to extend existing Petri net techniques, bringing them to the domain of membrane systems. An example is the process semantics of Petri nets that can help to understand the dynamics and causality in the biological evolutions represented by membrane systems [8,10]. More details on the relationship between Petri nets and membrane systems can be found in, e.g., [7,11].…”

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets

“…In the literature other works have investigated the relation between P system and Petri nets [6], [13], [5]. It is a matter of future work a deeper comparison with these approaches and with other computational models, inspired by biological membranes and derived from calculi of concurrency and mobility, as for example those proposed by Cardelli [3].…”