CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishDomain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs / PAOLO BALDAN; BUSI N.; ANDREA CORRADINI; G.MICHELE PINNA. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 323/1-3(2004), pp. 129-189.
| Titolo: | Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs |
| Autore/i: | PAOLO BALDAN; BUSI, NADIA; ANDREA CORRADINI; G. MICHELE PINNA |
| Autore/i Unibo: | |
| Anno: | 2004 |
| Rivista: | |
| Digital Object Identifier (DOI): | 10.1016/j.tcs.2004.04.001 |
| Data prodotto definitivo in UGOV: | 2005-10-10 14:23:04 |
| Appare nelle tipologie: | 1.01 Articolo in rivista |
File in questo prodotto:
Eventuali allegati, non sono esposti
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/922
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2018