Compositional specification of functionality and timing of manufacturing systems.
Bram van der SandenJoão BastosJeroen VoetenMarc GeilenMichel A. ReniersTwan BastenJohan JacobsRamon R. H. SchiffelersPublished in: FDL (2016)
Keyphrases
- manufacturing systems
- manufacturing environment
- quality control
- petri net
- asynchronous circuits
- flexible manufacturing systems
- complex systems
- manufacturing processes
- shop floor
- holonic manufacturing systems
- manufacturing process
- production scheduling
- specification language
- formal specification
- deadlock detection
- manufacturing cell
- incomplete information
- web services