Vol-1845⫷ Vol-1846 ⫸Vol-1847
urn:nbn:de:0074-1846-0


Vol-1846/paper2⫷Vol-1846/paper3⫸Vol-1846/paper4
Elvio Gilberto AmparoreSusanna DonatelliMarco BeccutiGiulio GarbiAndrew S. Miner

Decision Diagrams for Petri Nets: Which Variable Ordering?