Toggle Main Menu Toggle Search

Open Access padlockePrints

Process Semantics of P/T-Nets with Inhibitor Arcs

Lookup NU author(s): Professor Henriette Kleijn

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 HCM, Koutny M

Editor(s): Neilsen, M., Simpson, D.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 21st International Conference on Application and Theory of Petri Nets (ICATPN)

Year of Conference: 2000

Pages: 261-281

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

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

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

Notes: This research was supported by a grant from the Netherlands Organization for Scientific Research (NWO) and the British Council.

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540676935


Share