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.

Process semantics of P/T-nets with inhibitor arcs

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD

Downloads

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

Abstract

In this paper, we define a process semantics of P/T-nets with inhibitor arcs (PTI-nets). For PTI-nets with bounded inhibiting places, we combine the existing approaches for ordinary P/T-nets and for elementary net systems with inhibitor arcs. To deal with unbounded inhibiting places, a new feature has to be added to the underlying occurrence nets. In either case we show how to construct a process from a step sequence and give a complete characterization of all processes which can be obtained in this way, Using these processes it is possible to express the causal relationships between events in a PTI-net behaviour.

Publication metadata

Author(s): Kleijn J, Koutny M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000

Year of Conference: 2000

Pages: 261-281

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-44988-4_16

DOI: 10.1007/3-540-44988-4_16

Notes: Lecture Notes in Computer Science

Library holdings: Search Newcastle University Library for this item

ISBN:

Share