@inproceedings{524616ab1f174b8e8e1c8165e39b02d7,
title = "Computing bounds for forbidden state reachability functions for controlled Petri nets",
abstract = "Characterizing uncontrollable reachability is a central issue in forbidden state control of discrete event systems. In this paper, we present methods for building expressions which estimate uncontrollable reachability in a general class of Petri nets and which characterize the control sets to ensure future markings will not be forbidden. These expressions are determined by constructing an abstract syntax tree from an analysis of the Petri net model of the system. We show that these expressions represent bounds that are useful for evaluating uncontrollable reachability and for evaluating control actions.",
author = "Holloway, {L. E.} and Khare, {A. S.}",
year = "2002",
doi = "10.1109/WODES.2002.1167692",
language = "English",
series = "Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002",
pages = "225--230",
editor = "Alessandro Giua and Manuel Silva and Colom, {Jose M.}",
booktitle = "Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002",
note = "6th International Workshop on Discrete Event Systems, WODES 2002 ; Conference date: 02-10-2002 Through 04-10-2002",
}