You are about to access our book library "Control of Discrete-Event Systems: Automata and Petri Net Perspectives full version" .