"State Class Constructions for Branching Analysis of Time Petri Nets."

Bernard Berthomieu, François Vernadat (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics