Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets.
Hesuan HuMengChu ZhouZhiWu LiPublished in: IEEE Trans Autom. Sci. Eng. (2010)
Keyphrases
- petri net
- manufacturing systems
- petri net model
- manufacturing environment
- manufacturing processes
- discrete event systems
- colored petri nets
- shop floor
- holonic manufacturing systems
- fuzzy petri net
- service composition
- state machines
- control structure
- ims ld
- production cost
- assembly line
- stochastic petri net
- programmable logic controller
- web services
- sequence diagrams
- model checking
- design process
- low cost
- expert systems
- cooperative