Toggle Main Menu Toggle Search

Open Access padlockePrints

Petri Nets for Biologically Motivated Computing

Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej KoutnyORCiD

Downloads


Abstract

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.


Publication metadata

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


Share