Author's Reply

IEEE Transactions on Automatic Control

Volumn 49, Issue 7, 2004, Pages 1220-

  He, Kevin X ^a   Lemmon, Michael D ^b  

^a Morgan Lewis and Bockius   (United States)

^b University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85008066159     PISSN: 00189286     EISSN: 15582523     Source Type: Journal    
DOI: 10.1109/TAC.2004.831159     Document Type: Note

References (1)

1. K. He and M. Lemmon, “Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods,” IEEE Trans. Automat. Contr., vol. 47, pp. 1042-1055, July 2002.