Harro Wimmel. Optimised Calculation of Symmetries for State Space Reduction. In Martin Schwarick, Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010. Volume 643 of CEUR Workshop Proceedings, pages 112-117, CEUR-WS.org, 2010. [doi]
Abstract is missing.