Lookup NU author(s): Professor Maciej Koutny
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.
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
Date deposited: 01/10/2011
Publisher: CEUR-WS, RWTH Aachen University
Series Title: CEUR Workshop Proceedings