Return to Article Details Algebraic Approach to Timed Petri Nets Download Download PDF