Jörg Desel, Javier Esparza. Shortest Paths in Reachability Graphs. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 224-241, Springer, 1993.
Abstract is missing.