Timed Petri nets

From Free net encyclopedia