CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishDecision diagrams for Petri nets: which variable ordering? / Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew. - 1846(2017), pp. 31-50. ((Intervento presentato al convegno PNSE 2017 Petri Nets and Software Engineering tenutosi a Zaragoza, Spain nel June 25–30, 2017.
| Titolo: | Decision diagrams for Petri nets: which variable ordering? |
| Autori Riconosciuti: | |
| Autori: | Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew |
| Data di pubblicazione: | 2017 |
| Editore: | CEUR |
| Titolo del libro: | Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), |
| Volume: | 1846 |
| Pagina iniziale: | 31 |
| Pagina finale: | 50 |
| Nome del convegno: | PNSE 2017 Petri Nets and Software Engineering |
| Luogo del convegno: | Zaragoza, Spain |
| Anno del convegno: | June 25–30, 2017 |
| URL: | http://ceur-ws.org/Vol-1846/ |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| dd-varorder-PNSE17.pdf | Articolo principale | PDF EDITORIALE | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021