Using formal methods to scope performance challenges for Smart Manufacturing Systems: Focus on agility.
Kiwook JungK. C. MorrisKevin W. LyonsSwee LeongHyunbo ChoPublished in: Concurr. Eng. Res. Appl. (2015)
Keyphrases
- manufacturing systems
- formal methods
- flexible manufacturing systems
- manufacturing environment
- petri net
- formal analysis
- manufacturing processes
- formal specification
- shop floor
- complex systems
- artificial intelligence
- safety critical
- knowledge based systems
- model checking
- model checker
- manufacturing cell
- process algebra
- manufacturing process
- security properties
- data mining
- case study
- service oriented architecture
- supply chain
- knowledge representation
- relational databases
- database systems
- manufacturing enterprises
- database
- holonic manufacturing systems