Decision diagrams for Petri nets: which variable ordering?

Amparore E. G.;Donatelli S.;Beccuti M.;Garbi G.;
2017-01-01

2017
PNSE 2017 Petri Nets and Software Engineering
Zaragoza, Spain
June 25–30, 2017
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17),
CEUR
1846
31
50
http://ceur-ws.org/Vol-1846/
Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
File in questo prodotto:
File Dimensione Formato  
dd-varorder-PNSE17.pdf

Accesso aperto

Descrizione: Articolo principale
Tipo di file: PDF EDITORIALE
Dimensione 2.47 MB
Formato Adobe PDF
2.47 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: https://hdl.handle.net/2318/1663788
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact