"Interval Diagram Techniques for Symbolic Model Checking of Petri Nets."

Karsten Strehl, Lothar Thiele (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics