Supervisory control of deterministic Petri nets with regular specification languages.
Ratnesh KumarLawrence E. HollowayPublished in: IEEE Trans. Autom. Control. (1996)
Keyphrases
- petri net
- specification languages
- supervisory control
- discrete event
- data acquisition
- formal specification
- discrete event systems
- power grid
- colored petri nets
- dynamic systems
- control system
- first order logic
- service composition
- human operators
- fuzzy petri net
- monitoring system
- fault detection and diagnosis
- high speed
- artificial intelligence
- reverse engineering
- distributed control
- power system