Novel analysis of Petri-net-based controllers by means of TCT implementation tool of supervisory control theory
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 theory (SCT), based on language and FSA concepts, is a well established framewor...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Maejo University
2010-09-01
|
| Series: | Maejo International Journal of Science and Technology |
| Subjects: | |
| Online Access: | http://www.mijst.mju.ac.th/vol4/360-396.pdf |