Petri net
Reachability
Computer science
Scheduling (production processes)
Graph
Job shop scheduling
Mathematical optimization
Stochastic Petri net
Deadlock
Upper and lower bounds
Open shop
Flow shop scheduling
Distributed computing
Theoretical computer science
Mathematics
Schedule
Mathematical analysis
Operating system