Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing.
Stefan EdelkampChristoph GreulichPublished in: SPIN (2016)
Keyphrases
- discrete event systems
- petri net
- manufacturing systems
- manufacturing environment
- shop floor
- complex systems
- wafer fabrication
- telecommunication networks
- failure diagnosis
- production planning
- model based diagnosis
- discrete event
- scheduling problem
- quality control
- scheduling algorithm
- temporal constraints
- material handling
- timed petri nets
- parallel machines
- manufacturing process
- database
- state space
- special case