Asif Hayat

• Deterministic scheduling of time petri nets