Decidability and closure properties of weak Petri net languages in supervisory control.
Alessandro GiuaFrank DiCesarePublished in: IEEE Trans. Autom. Control. (1995)
Keyphrases
- petri net
- closure properties
- supervisory control
- expressive power
- data acquisition
- context free grammars
- conjunctive queries
- power grid
- discrete event
- tree automata
- query answering
- petri net model
- query language
- colored petri nets
- service composition
- context free
- first order logic
- fuzzy petri net
- human operators
- fault detection and diagnosis
- control system
- power system
- data analysis
- incomplete information
- control architecture
- dynamic systems
- simulation model
- data management
- high speed
- rough sets