A New Approach to Abstract Reachability State Space of Time Petri Nets.

Kais Klai, Naim Aber, Laure Petrucci

Browse the full TIME paper archive.