Control of discrete event systems : automata and petri net perspectives (2013)