Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Transition systems, event structures, and unfoldings
Information and Computation
Handbook of logic in computer science (vol. 4)
Models for concurrency: towards a classification
Theoretical Computer Science
Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Operational Semantics and Rewriting Logic in Membrane Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
WMC'07 Proceedings of the 8th international conference on Membrane computing
Structural operational semantics of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
A p system description of the sodium-potassium pump
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
Quantitative causality in membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
CMC'11 Proceedings of the 12th international conference on Membrane Computing
An analysis of correlative and static causality in p systems
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
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.