Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Reaction Systems with Petri Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD


Full text is not currently available for this publication.


We investigate how Petri nets could be used to provide a faithful semantics of reaction systems, a formal framework for the investigation of processes carried by biochemical reactions. We propose and discuss possible approaches to this problem using some existing Petri net classes and concurrency concepts, such as maximal parallelism. After that we introduce a new class of Petri nets, called set-nets, which provide a computational model matching very closely that exhibited by reaction systems. The key difference between standard Petri nets and set-nets is that the former support multiset-based token arithmetic, whereas the latter support set-based operations on tokens.

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: 23

Print publication date: 01/04/2011

Source Publication Date: April 2011

Report Number: 1244

Institution: School of Computing Science, Newcastle University

Place Published: Newcastle upon Tyne