Supervisory Control of Time Petri Nets Using Net Unfolding. - Ugo A. Buy; Houshang Darabi; Mihai Lehene; Vikram Venepally (COMPSAC (2), 2005)