Andrew S. Miner Implicit GSPN reachability set generation using decision diagrams. 145-165 2004 56 Perform. Eval. 1-4 http://dx.doi.org/10.1016/j.peva.2003.07.005 db/journals/pe/pe56.html#Miner04