"Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings."

Claus Schröter, Victor Khomenko (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics