P-Semiflow Computation with Decision Diagrams. - Gianfranco Ciardo; Galen Mecham; Emmanuel Paviot-Adet; Min Wan (Petri Nets, 2009)