Conference
Towards a Petri Net Semantics for Membrane Systems
Abstract
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 …
Authors
Kleijn JHCM; Koutny M; Rozenberg G
Series
Lecture Notes in Computer Science
Volume
3850
Pagination
pp. 292-309
Publisher
Springer Nature
Publication Date
2006
DOI
10.1007/11603047_20
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743