Model Checking Bounded Prioritized Time Petri Nets.

Bernard Berthomieu, Florent Peres, Franois Vernadat

Browse the full ATVA paper archive.