P-Semiflow Computation with Decision Diagrams

Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan. P-Semiflow Computation with Decision Diagrams. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 143-162, Springer, 2009. [doi]

Abstract

Abstract is missing.