Toggle Main Menu Toggle Search

Open Access padlockePrints

Process semantics of general inhibitor nets

Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej Koutny

Downloads


Abstract

We define a causality semantics of Place/Transition nets with weighted inhibitor arcs (PTI-nets). We extend the standard approach to defining the partial order semantics of Place/Transition nets (PT-nets) based on the process semantics given through occurrence nets. To deal with inhibitor arcs at the level of occurrence nets activator arcs (and extra conditions) are used. The properties of the resulting activator occurrence nets are extensively investigated. It is then demonstrated how processes corresponding to step sequences of PTInets can be constructed algorithmically, and a non-algorithmic (axiomatic) characterisation is given of all those processes that can be obtained in this way. In addition, a general framework is established allowing to separately discuss behaviour, processes, causality, and their properties before proving that the resulting notions are mutually consistent for the various classes of Petri nets considered. This facilitates an efficient and uniform presentation of our results. © 2003 Elsevier Inc. All rights reserved.


Publication metadata

Author(s): Kleijn HCM, Koutny M

Publication type: Article

Publication status: Published

Journal: Information and Computation

Year: 2004

Volume: 190

Issue: 1

Pages: 18-69

ISSN (print): 0890-5401

ISSN (electronic): 1090-2651

Publisher: Academic Press

URL: http://dx.doi.org/10.1016/j.ic.2003.11.002

DOI: 10.1016/j.ic.2003.11.002


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share