Journal article
Process semantics of general inhibitor nets
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 …
Authors
Kleijn HCM; Koutny M
Journal
Information and Computation, Vol. 190, No. 1, pp. 18–69
Publisher
Elsevier
Publication Date
4 2004
DOI
10.1016/j.ic.2003.11.002
ISSN
0890-5401