Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets.
Hesuan HuMengChu ZhouZhiWu LiPublished in: IEEE Trans. Syst. Man Cybern. Part A (2012)
Keyphrases
- manufacturing systems
- petri net
- petri net model
- manufacturing processes
- manufacturing environment
- discrete event systems
- shop floor
- holonic manufacturing systems
- stochastic petri net
- state machines
- process model
- service composition
- fuzzy petri net
- colored petri nets
- programmable logic controller
- real time
- manufacturing enterprises
- contract net protocol
- ims ld
- sequence diagrams
- business process