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.

Classifying Boolean Nets for Region-based Synthesis

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD, Dr Marta Koutny

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

Reaction systems are a formal frameworkfor the investigationof processes carried by biochemical reactions.Recently, we investigated ways of modelling reaction systemswithin the domain of Petri nets. This has led to theintroduction a new class of Petri nets, called set-nets,which provide a faithful and elegant 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 (or Boolean) operations on tokens.In this paper, we investigate the synthesis problem for set-nets.We do so by showing that the new kind of nets can be treatedwithin the general theory of net synthesis. We also use this as anopportunity to classify a full variety of Boolean nets, generalisingset-nets and their Boolean operations on tokens.We add to the existing theory of net synthesis a detailed studyof connection monoids for Boolean nets which allow us tocapture not only the step semantics of nets but also structural conflictsbetween transitions in Boolean nets.

Publication metadata

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

Editor(s): Desel, J., Yakovlev, A.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: ART-2011, Applications of Region Theory

Year of Conference: 2011

Pages: 5-21

Date deposited: 01/10/2011

ISSN: 1613-0073

Publisher: CEUR-WS, RWTH Aachen University

Series Title: CEUR Workshop Proceedings

Share