A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets.
Ge WangDi LiShiyong WangMinghao ChengZiren LuoRenshun LiuPublished in: Sensors (2022)
Keyphrases
- evaluation method
- manufacturing systems
- coloured petri nets
- petri net
- formal verification
- evaluation methods
- manufacturing processes
- flexible manufacturing systems
- manufacturing environment
- evaluation model
- complex systems
- manufacturing process
- manufacturing cell
- analytic hierarchy process
- shop floor
- holonic manufacturing systems
- control structure
- cell formation
- fuzzy comprehensive evaluation
- long term
- fuzzy comprehensive evaluation method
- assembly line
- model checking