Reconfigurability of behavioural specifications for manufacturing systems.
Klaus Werner SchmidtPublished in: Int. J. Control (2017)
Keyphrases
- manufacturing systems
- flexible manufacturing systems
- petri net
- manufacturing environment
- manufacturing processes
- complex systems
- quality control
- shop floor
- delay insensitive
- control structure
- holonic manufacturing systems
- deadlock detection
- production cost
- high level
- manufacturing process
- assembly line
- production scheduling
- manufacturing enterprises
- formal specification
- manufacturing cell
- specification language
- cell formation
- information systems