Jean-Michel Couvreur Emmanuelle Encrenaz Emmanuel Paviot-Adet Denis Poitrenaud Pierre-André Wacrenier Data Decision Diagrams for Petri Net Analysis. 101-120 2002 conf/apn/2002 ICATPN http://link.springer.de/link/service/series/0558/bibs/2360/23600101.htm db/conf/apn/icatpn2002.html#CouvreurEPPW02