ePrints

Step semantics of boolean nets

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

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

Boolean nets are a family of Petri net models with very simple markings which are sets of places. We investigate several classes of boolean nets distinguished by different kinds of individual connections between places and transitions, as well as different ways in which these connections are combined in order to specify the effect of executing steps of transitions. The latter aspect can be captured by connection monoids. A key advantage of using connection monoids is that by describing the step semantics of a class of Petri nets in terms of a connection monoid, one can apply results developed within a general theory of Petri net synthesis. In this paper, we provide an extensive classification of boolean nets which can be described by connection monoids. This classification is based on the realisation that the different ways of interpreting combinations of connections can be made explicit using a higher level monoid. Moreover, we demonstrate that connection monoids can capture other behavioural properties of boolean nets, such as structural conflicts between transitions.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Acta Informatica

Year: 2013

Volume: 50

Issue: 1

Pages: 15-39

Print publication date: 04/10/2012

ISSN (print): 0001-5903

ISSN (electronic): 1432-0525

Publisher: Springer

URL: http://dx.doi.org/10.1007/s00236-012-0170-2

DOI: 10.1007/s00236-012-0170-2

Altmetrics

Funding

Share