Biologically Inspired Process Calculi, Petri Nets and Membrane Computing

This volume represents the proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), held together with the 12th International Conference on Membrane Computing on 23rd August 2011 in Fontainebleau, France.

💡 Research Summary

**
The document under review is the introductory foreword to the proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011), held on August 23, 2011 in Fontainebleau, France, together with the 12th International Conference on Membrane Computing. Its purpose is to set the stage for a collection of short papers that explore the intersections among three major formalisms used to model biological and concurrent systems: membrane computing (also known as P systems), biologically inspired process calculi (such as Mobile Ambients and Brane Calculi), and Petri nets.

The foreword begins by recalling that MeCBIC traditionally focused on membrane computing and process calculi that incorporate notions of compartments and membranes. In 2011 the organizers deliberately widened the scope to include papers on Petri nets, aiming to foster collaboration between the Petri‑net community and researchers working on membrane systems. This reflects a growing recognition that the three formalisms, while historically developed in separate research traditions, address overlapping aspects of biological computation: hierarchical compartmentalisation, mobility and dynamic restructuring, and concurrent event execution.

Membrane computing abstracts the hierarchical organization of cellular membranes and the flow of biochemical substances. It is studied using tools from automata theory, formal languages, and computational complexity, allowing researchers to analyse the computational power of biologically inspired distributed devices. Process calculi such as Mobile Ambients and Brane Calculi extend this idea by providing algebraic languages that model mobile compartments, membrane fusion, division, and other structural transformations. These calculi are particularly suited for describing the dynamic behaviour of intracellular organelles, viral infection cycles, or synthetic biological constructs.

Petri nets, on the other hand, offer a graphical and mathematically rigorous framework for representing concurrent processes, resource flow, and causal dependencies. They have long been employed to model biochemical pathways, signal transduction networks, and other biological systems where the timing and ordering of reactions are crucial. By integrating Petri‑net concepts with membrane‑based models, one can obtain a richer description that captures both the structural hierarchy of membranes and the quantitative token flow that represents molecular counts.

The foreword highlights two invited talks that exemplify this interdisciplinary thrust. The first talk compared Petri nets and membrane systems, discussing how Petri nets can be extended (for example, by adding hierarchical places or colored tokens) to faithfully reproduce the dynamics of membrane reactions and reaction systems. The second talk addressed reversibility in massive concurrent systems, introducing reversible structures and an equivalence relation that abstracts away from the specific order of causally independent reductions. This work is directly relevant to both membrane computing and Petri‑net models, where nondeterministic execution paths often need to be collapsed into a canonical representation for verification purposes.

All submitted papers underwent a rigorous peer‑review process by three or four referees. The contributions cover a wide range of topics: biologically inspired models and calculi, new biologically inspired programming languages, theoretical properties of these models, and explicit comparisons between different formalisms. The editors thank the authors, reviewers, program committee members, and invited speakers for their efforts, emphasizing the collaborative spirit that underpins the workshop.

In summary, the foreword positions MeCBIC 2011 as a catalyst for cross‑fertilisation among the membrane‑computing, process‑calculus, and Petri‑net communities. It argues that a unified perspective can lead to more expressive modeling languages, stronger verification tools, and deeper theoretical insights into the nature of biological computation. The document therefore serves not only as an introduction to the specific papers in the proceedings but also as a call to action for researchers to develop integrated frameworks, combine analytical techniques, and explore the rich computational landscape that emerges when hierarchical compartments, mobility, and concurrency are studied together.