Browse by author
Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej KoutnyORCiD
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 ofPlace/Transition nets (PT-nets) based on the process semantics given through net unfolding and occurrence nets.To deal with inhibitor arcs at the level of occurrence netsactivator 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 PTI-nets 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.
Author(s): Kleijn HCM, Koutny M
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 2002
Pages: 48
Report Number: 769
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/769.pdf
