Supervisory control of Petri nets using polyhedral regions. - Roberto Bacos; José E. R. Cury; Radouane Kara; Jean Jacques Loiseau (WODES, 2012)