Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Modelling Reaction Systems with Petri Nets

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD

Downloads

Licence

This is the final published version of a conference proceedings (inc. abstract) that has been published in its final definitive form by CEUR-WS, RWTH Aachen University, 2011.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

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

URL: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-724/paper4.pdf

Series Title: CEUR Workshop Proceedings

Share