Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Nonsequential processes
Journal of Computer and System Sciences
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Theoretical Computer Science - Natural computing
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
Process semantics of general inhibitor nets
Information and Computation
Hazard Detection in a GALS Wrapper: A Case Study
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
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
Infinite process semantics of inhibitor nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Transition systems of elementary net systems with localities
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On Synchronization in P Systems
Fundamenta Informaticae
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
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
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Transforming communicating X-machines into P systems
Natural Computing: an international journal
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
A hybrid approach to modeling biological systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Properties of membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Parallel and distributed algorithms in p systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Hi-index | 0.00 |
We consider synchrony and asynchrony in the behavior of various models of membrane systems, which may differ in the way individual reactions are defined as well as in the way multisets of these reactions can be executed in a single computational step. We concentrate on the properties of ongoing computations, including the unbounded ones. Our focus is on the properties of system states involved in such computations as well as on concurrency and causality relationships between executed reactions. This should be contrasted with the approach which investigates different notions of ‘results' produced through halting computations of membrane systems. As a formal behavioral model we use Petri nets and their processes which are very well suited to capture the notion of an execution in a concurrent context. We continue our earlier work reported in [15], where a systematic and structural link has been established between a basic class of membrane systems and Petri nets. Here, we look at some natural extensions of this basic class of membrane systems and investigate the ways in which they can be represented within the behavioral model provided by Petri nets.