Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- model checking
- scheduling problem
- petri net
- transition systems
- formal specification
- scheduling algorithm
- resource constraints
- resource allocation
- round robin
- parallel processors
- flexible manufacturing systems
- dynamic scheduling
- data sets
- parallel machines
- knowledge management
- knowledge representation
- case study