Domain 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): | http://dx.doi.org/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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.