Abstract State Spaces for Time Petri Nets Analysis.

Bernard Berthomieu, Florent Peres, Franois Vernadat

Browse the full ISORC paper archive.