Maximally Permissive Supervisor Synthesis Using Reachability and Structural Analysis of Petri Nets.
Hefeng ChenNaiqi WuZhiwu LiPublished in: ICNSC (2019)
Keyphrases
- structural analysis
- petri net
- three dimensional
- manufacturing systems
- image processing
- petri net model
- colored petri nets
- fuzzy petri net
- stochastic petri net
- state space
- service composition
- ims ld
- discrete event systems
- concurrent systems
- reinforced concrete
- state machines
- programmable logic controller
- diagrammatic reasoning
- sequence diagrams
- expert systems