Browse by author
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.
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
