Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon. Hierarchical Set Decision Diagrams and Automatic Saturation. In Kees M. van Hee, Rüdiger Valk, editors, Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi an, China, June 23-27, 2008. Proceedings. Volume 5062 of Lecture Notes in Computer Science, pages 211-230, Springer, 2008. [doi]
Abstract is missing.