Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Reaction Systems with Petri Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD



We investigate how Petri nets could be used to providea faithful semantics of reaction systems,a formal framework for the investigationof processes carried by biochemical reactions.We propose and discuss possible approaches to this problemusing 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 computationalmodel matching very closely that exhibited by reaction systems.The key difference between standard Petri nets and set-nets is thatthe former support multiset-based token arithmetic, whereas the lattersupport set-based operations on tokens.

Publication metadata

Author(s): Kleijn J, Koutny M, Rozenberg G

Editor(s): Heiner, M., Matsuno, H.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: BioPPN-2011, 2nd International Workshop on Biological Processes & Petri Nets

Year of Conference: 2011

Pages: 36-52

Date deposited: 01/10/2011

ISSN: 1613-0073

Publisher: CEUR-WS, RWTH Aachen University


Series Title: CEUR Workshop Proceedings