Control of discrete-event systems. Automata and Petri net perspectives
scientific article; zbMATH DE number 6068954