Login / Signup

Scheduling timed Petri nets with a time-feasible reachability tree.

Hyun-Jung KimJun-Ho LeeTae-Eog Lee
Published in: ICNSC (2013)
Keyphrases
  • timed petri nets
  • discrete event systems
  • scheduling problem
  • scheduling algorithm
  • state space
  • response time
  • single machine
  • model based diagnosis