On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Zero-safe nets: comparing the collective and individual token approaches
Information and Computation - Special issue on EXPRESS 1997
Journal of Computer and System Sciences
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Flow Event Structures and Flow Nets
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Bundle event structures: a non-interleaving semantics for LOTOS
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Using well-structured transition systems to decide divergence for catalytic P systems
Theoretical Computer Science
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Bisimulations in calculi modelling membranes
Formal Aspects of Computing
Processes of membrane systems with promoters and inhibitors
Theoretical Computer Science
Configuration structures, event structures and Petri nets
Theoretical Computer Science
WMC'07 Proceedings of the 8th international conference on Membrane computing
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Process semantics for membrane systems
Journal of Automata, Languages and Combinatorics
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Hi-index | 5.23 |
Membrane system computations proceed in a synchronous fashion: at each step all the applicable rules are actually applied. Hence each step depends on the previous one. This coarse view can be refined by looking at the dependencies among rule occurrences, by recording, for an object in a membrane and at a certain stage of the computation, which were the rules that produced it and subsequently (in a later step), which was the rule that consumed it. By recording the rules that have contributed to produce an object we can keep track of its history. Recording more than one rule for each object could be used to consider as equivalent some of the past histories, from the point of view of future use of this object. The other main ingredient in membrane system computations, namely the simultaneity in the rule applications, is usually enforced at the level of observation. We propose a way to look at it in a structural way. This is achieved using zero-safe nets that allows to synchronize transitions, i.e., rule occurrences. Zero-safe nets can be unfolded into causal nets in a classical way, and this unfolding can be manipulated to obtain a merged net where some histories could be considered as equivalent. To these notions of unfoldings, suitable event structures can be associated. The capability of capturing simultaneity of zero-safe nets is then transferred to the level of event structures by adding a way to express which events occur simultaneously.