Browse by author
Lookup NU author(s): Professor Henriette Kleijn, Emeritus Professor Maciej KoutnyORCiD
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2011.
For re-use rights please refer to the publisher's terms and conditions.
Petri nets are a general and well-established model of concurrent and distributed computation and behaviour, including that taking place in biological systems. In this survey paper, we are concerned with intrinsic relationships between Petri nets and two formal models inspired by aspects of the functioning of the living cell: membrane systems and reaction systems. In particular, we are interested in the benefits that can result from establishing strong semantical links between Petri nets and membrane systems and reaction systems. We first discuss Petri nets with localities reflecting the compartmentalisation modelled in membrane systems. Then special attention is given to set-nets, a new Petri net model for reaction systems and their qualitative approach to the investigation of the processes carried out by biochemical reactions taking place in the living cell.
Author(s): Kleijn J, Koutny M, Rozenberg G
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2011
Pages: 24
Print publication date: 01/11/2011
Source Publication Date: November 2011
Report Number: 1284
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
