Observer-based state-feedback control of timed Petri nets with deadlock recovery | IEEE Journals & Magazine | IEEE Xplore