Return to Issue Details Computation of the Reachability Graph of untimed Hybrid Petri nets Download Download PDF