On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification.
Yufeng ChenYuting LiZhiwu LiNaiqi WuPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2022)
Keyphrases
- petri net
- discrete event systems
- timed petri nets
- petri net model
- complex systems
- manufacturing systems
- model based diagnosis
- telecommunication networks
- sequence diagrams
- discrete event
- stochastic petri net
- design process
- temporal constraints
- optimal solution
- colored petri nets
- service composition
- computational intelligence
- ims ld
- programmable logic controller
- temporal reasoning
- constraint satisfaction
- fuzzy logic
- reinforcement learning