Harro Wimmel, Karsten Wolf. Reachability Analysis via Net Structure. 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 118-123, CEUR-WS.org, 2010. [doi]
Abstract is missing.