Process semantics for membrane systems

Authors:
Jetty Kleijn;Maciej Koutny;Grzegorz Rozenberg
Affiliations:
LIACS, Leiden University, Leiden, The Netherlands;School of Computing Science, University of Newcastle, Newcastle upon Tyne, United Kingdom;LIACS, Leiden University, Leiden, The Netherlands and Department of Computer Science, University of Colorado at Boulder, Boulder, CO
Venue:
Journal of Automata, Languages and Combinatorics
Year:
2006

Citing 11
Cited 11

Non-sequential processes

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Computing with membranes

Journal of Computer and System Sciences
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A guide to membrane computing

Theoretical Computer Science - Natural computing
Elementary Net Systems

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
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Asynchronous p systems and p systems working in the sequential mode

WMC'04 Proceedings of the 5th international conference on Membrane Computing
Time–independent p systems

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Processes of membrane systems with promoters and inhibitors

Theoretical Computer Science
A Petri net model for membrane systems with dynamic structure

Natural Computing: an international journal
The mutex paradigm of concurrency

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Synchrony and asynchrony in membrane systems

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Applying step coverability trees to communicating component-based systems

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Simultaneity in event structures

TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Petri nets with localities and testing

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Localities in systems with a/sync communication

Theoretical Computer Science
Modeling dependencies and simultaneity in membrane system computations

Theoretical Computer Science
Step coverability algorithms for communicating systems

Science of Computer Programming
Mutex Causality in Processes and Traces of General Elementary Nets

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011

Quantified Score

Hi-index	0.00

Visualization

Abstract

A process model based on Petri nets is proposed to describe the structure of the behaviour of basic membrane systems. In [12], a systematic and structural link has been established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, Place/Transition nets with explicit localities have been introduced. Each locality identifies a distinct set of transitions which may only be executed synchronously, i.e., in a locally maximal concurrent manner. Here, we develop the notion of a process for these nets. The resulting formalism should be of use in the investigation of the ways in which computations of membrane systems can evolve.