Now showing items 1-1 of 1
Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory
(MAEJO UNIV, 2010)
The control of discrete event systems (DES) has been widely studied in the past two decades. Finite-state automata (FSA) and Petri nets (PN) are the two principal modelling formalisms for this study. Supervisory control ...