Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions.
Richard ZurawskiPublished in: IEEE Trans. Ind. Electron. (1997)
Keyphrases
- manufacturing systems
- complex systems
- manufacturing cell
- user interface
- holonic manufacturing systems
- control structure
- manufacturing process
- manufacturing processes
- manufacturing environment
- design tools
- design process
- computer aided
- multistage
- engineering design
- quality control
- petri net
- interaction model
- information systems