Structural Linear Algebraic Control Design

So far in this book, it was assumed that all events are observable. This means that the supervisory controller can observe each event which occurs in the studied discrete event system. Consequently, the state of the Petri net that models this system is completely known at any time.