3 F. Basile L. Recalde P. Chiacchio M. Silva R. Boel G. Stremersch 2000 Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints Kluwer Academic Publishers 169-180