Gianfranco Ciardo Galen Mecham Emmanuel Paviot-Adet Min Wan P-Semiflow Computation with Decision Diagrams. 143-162 2009 Petri Nets http://dx.doi.org/10.1007/978-3-642-02424-5_10 conf/apn/2009 db/conf/apn/pn2009.html#CiardoMPW09