his new version enhances the GSPN reachability graph generation implementation to use Decision Diagrams. Then, we have replaced the existing representation of RS, base on balanced binary tree and file, with Decision Diagrams.
GreatSPN solver based on MDD
BECCUTI, Marco;DONATELLI, Susanna;
2010-01-01
Abstract
his new version enhances the GSPN reachability graph generation implementation to use Decision Diagrams. Then, we have replaced the existing representation of RS, base on balanced binary tree and file, with Decision Diagrams.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.