Symbolic Reachability Analysis of Integer Timed Petri Nets.

Min Wan, Gianfranco Ciardo

Browse the full SOFSEM paper archive.