Concurrent and maximally concurrent evolution of nonsequential systems
Theoretical Computer Science
Petri net semantics of priority systems
Selected papers of the Second Workshop on Concurrency and compositionality
Membrane Computing: An Introduction
Membrane Computing: An Introduction
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
Partial order semantics and read arcs
Theoretical Computer Science
Theoretical Computer Science - Natural computing
Self-Modifying Nets, a Natural Extension of Petri Nets
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Catalytic P systems, semilinear sets, and vector addition systems
Theoretical Computer Science
Process semantics of general inhibitor nets
Information and Computation
Asynchronous p systems and p systems working in the sequential mode
WMC'04 Proceedings of the 5th international conference on Membrane Computing
WMC'04 Proceedings of the 5th international conference on Membrane Computing
The power of maximal parallelism in p systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Processes of membrane systems with promoters and inhibitors
Theoretical Computer Science
Producer/Consumer in Membrane Systems and Petri Nets
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Synthesis of Nets with Step Firing Policies
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
Synthesis of elementary net systems with context arcs and localities
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Modeling symport/antiport P systems with a class of hierarchical Petri nets
WMC'07 Proceedings of the 8th international conference on Membrane computing
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Minimal Regions of ENL-Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An overview of membrane computing
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Process semantics for membrane systems
Journal of Automata, Languages and Combinatorics
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Properties of enhanced mobile membranes via coloured Petri nets
Information Processing Letters
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Transition systems of elementary net systems with localities
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Localities in systems with a/sync communication
Theoretical Computer Science
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
Synthesis problem for petri nets with localities
Transactions on Petri Nets and Other Models of Concurrency V
Catalytic petri nets are turing complete
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Membrane Systems with Qualitative Evolution Rules
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Synthesis of Nets with Step Firing Policies
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
On structures and behaviors of spiking neural p systems and petri nets
CMC'12 Proceedings of the 13th 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
Modeling membrane systems using colored stochastic Petri nets
Natural Computing: an international journal
Hi-index | 0.00 |
We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for Petri nets. We indicate how processes for these nets could be defined which should be of use in order to describe what is actually going on during a computation of a membrane system.