Abstract
The supervisory control problem in the discrete event dynamic systems (DEDS) is formulated using input-state-output system structure. A class of the Petri nets is defined enabling an effective and practically useful representation of the structural and dynamic properties of DEDS. A solution of the supervisory control using the Petri nets and the corresponding reachability graphs is presented and illustrated on an example.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have