Giovanni Chiola, Rubén Carvajal-Schiaffino. A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. In Reinhard German, Boudewijn R. Haverkort, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. pages 113-122, IEEE Computer Society, 2001. [doi]
Abstract is missing.