Events, Causality, and Concurrency in Membrane Systems

摘要

This paper presents a modular approach to causality in membrane systems, using both string and multiset rewriting. In order to deal with membrane systems, the event structures are extended with notions like maximal concurrent transitions and saturated states with respect to concurrency. The event structure of a membrane system is defined in two steps: first the event structure of a maximal parallel step in membranes is defined, and then it is combined with a communication step. The main result of the paper proves that an event structure of a membrane corresponds to its operational semantics. Event structures for communicating membranes are also defined.