Browse by author
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.
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
