Counterexamples to "Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods"

IEEE Transactions on Automatic Control

Volumn 49, Issue 7, 2004, Pages 1217-1220

  Xie, Xiaolan ^a   Giua, Alessandro ^b  

^a ISGMP   (France)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ASYMPTOTIC STABILITY; CONTROL SYSTEM ANALYSIS; GRAPH THEORY; PROBLEM SOLVING; SCADA SYSTEMS;

BOUNDED PETRI NETS; CUT GRAPH; PARTIAL ORDER METHODS;

PETRI NETS;

EID: 3843109064     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2004.831162     Document Type: Note

References (4)

1. K. X. He and M. D. Lemmon, "Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods," IEEE Trans. Automat. Contr., vol. 47, pp. 1042-1055, July 2002.
2. K. X. He and M. D. Lemmon, "Liveness verification of discrete-event systems modeled by n-safe ordinary Petri nets," in Proc. 21st Int. Conf. Application Theory etri Nets, vol. 1825, Aarhus, Denmark, 2000, pp. 227-243.
3. K. X. He and M. D. Lemmon, "Liveness enforcing supervision of discrete-event systems modeled by n-safe Petri nets," in Proc. IFAC Int. Conf. Control System Design, Bratislava, Slovakia, June 2000.
4. K. L. McMillan, "A technique of state space search based on unfolding," Formal Meth. Syst. Design, vol. 6, no. 1, pp. 45-65,