Decision diagrams for Petri nets: a comparison of variable ordering algorithms

Amparore E. G.;Donatelli S.;Beccuti M.;Garbi G.;
2018

International Workshop on Petri Nets and Software Engineering (PNSE 2017)
Zaragoza, Spain
June 26-27
11090
73
92
https://www.springer.com/series/558
Decision diagrams; Heuristic optimization; Saturation; Static variable ordering
Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
File in questo prodotto:
File Dimensione Formato  
lToPNoC-DD18.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 2.75 MB
Formato Adobe PDF
2.75 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
TopNocVarOrder-rev2.pdf

Accesso aperto

Descrizione: Articolo principale
Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 2.32 MB
Formato Adobe PDF
2.32 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/1710943
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact