Browsing by Subject "Controlled petri nets"
Now showing items 1-1 of 1
-
Article
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
(2014)In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri ...