Supervisor Synthesis for Enforcing a Disjunction of GMECs on Controlled Petri Nets
2017 ◽
Vol 62
(5)
◽
pp. 2603-2606
2011 ◽
Vol 72
(9)
◽
pp. 1951-1966
◽
Keyword(s):
2016 ◽
Vol 2016
◽
pp. 1-12
◽
Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets
2009 ◽
Vol 39
(6)
◽
pp. 1237-1246
◽