Giovanni Chiola, Rubén Carvajal-Schiaffino: A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. PNPM 2001: 113-122