Supervision of Petri nets - Stremersch, Geert (The Kluwer international series on discrete event dynamic systems, 2001)