Toggle Main Menu Toggle Search

Open Access padlockePrints

Coverability and Inhibitor Arcs: an example

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



Inhibitor arcs pose a problem for the standard Coverability Tree Construction for Place/Transition Nets. A straightforward modification of the construction circumventing this problem works for PT-nets with one inhibitor place. Here it is shown that this modified construction may not terminate in case of two or more inhibitor places.

Publication metadata

Author(s): van der Vlugt S, Kleijn J, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 8

Print publication date: 01/11/2011

Source Publication Date: November 2011

Report Number: 1293

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne