State Class Constructions for Branching Analysis of Time Petri Nets.

Bernard Berthomieu, Franois Vernadat

Browse the full TACAS paper archive.