SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.

Nicolas Amat, Silvano Dal-Zilio

Browse the full FM paper archive.