Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra.
Huailin LiQinsen LiuMengnan LiuBangyong SunBin DuPublished in: IEEE Access (2023)
Keyphrases
- manufacturing systems
- flexible manufacturing systems
- process algebra
- control structure
- shop floor
- petri net
- low cost
- manufacturing environment
- manufacturing processes
- complex systems
- model checking
- concurrent systems
- control system
- formal specification
- formal methods
- holonic manufacturing systems
- raw material
- software engineering
- manufacturing process
- grid workflow
- concurrent programs