On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach.
Muhammad BashirZhiwu LiMurat UzamNaiqi WuAbdulrahman Al-AhmariPublished in: IMA J. Math. Control. Inf. (2018)
Keyphrases
- petri net
- flexible manufacturing systems
- manufacturing systems
- dynamic scheduling
- discrete event systems
- petri net model
- high level petri nets
- ims ld
- colored petri nets
- service composition
- stochastic petri net
- web service composition
- real time control
- concurrent systems
- story generation
- real time
- fuzzy petri net
- process model
- fuzzy sets
- medical images
- computational intelligence
- natural language
- neural network