Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 101
Titolo Data di pubblicazione Autore(i) File
Designing an efficient tool for stochastic well-formed coloured Petri nets 1992 G.CHIOLA; R. GAETA; AND M.RIBAUDO
A symbolic simulation mechanism for well formed coloured Petri nets. 1992 G.CHIOLA; G.FRANCESCHINIS; R. GAETA
Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets 1993 C.ANGLANO; S.DONATELLI; R. GAETA
Efficient simulation of parallel architectures exploiting symmetric well formed Petri net models 1993 G.CHIOLA; R. GAETA
A Simulation Model of a Double Ring Protocol Based on Timed Well-formed Coloured Petri Nets 1993 G. CHIOLA; R. GAETA; M. SERENO
Modeling symmetric computer architectures by SWNs 1994 G.CHIOLA; G.FRANCESCHINIS; R. GAETA
Efficient simulation of SWN models 1995 R. GAETA; G.CHIOLA
GreatSPN1.7: Graphical editor and analyzer for timed and stochastic Petri nets 1995 CHIOLA G.; FRANCESCHINIS G.; R. GAETA; RIBAUDO M.
GSPN analysis of the knockout ATM switch 1996 M. AJMONE MARSAN; R. GAETA
Efficient discrete-event simulation of colored Petri nets 1996 R. GAETA
GSPN analysis of ABR in ATM LANs 1997 AJMONE MARSAN M.; BEGAIN K.; R. GAETA; TELEK M.
GSPN models of ATM switches 1997 AJMONE MARSAN M.; R. GAETA
SWN Analysis and Simulation of Large Knockout ATM Switches 1998 R. GAETA; AJMONE MARSAN M.
Modeling ATM systems with GSPNs and SWNs 1998 AJMONE MARSAN M.; R. GAETA
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation 1998 L.CAPRA; R. GAETA; AND O.BOTTI
Analysis of ABR in ATM LANs by GSPN models 1998 M.AJMONE MARSAN; K.BEGAIN; R. GAETA; AND M.TELEK
Stop & go ABR in ATM LANs: Performance analysis with GSPNs 1998 R. GAETA; BEGAIN K.; AJMONE MARSAN M.
Modeling and simulation of a communication protocol by stochastic well-formed nets 1999 R. GAETA; CHIOLA G.; SERENO M.
Exploiting Petri nets to support fault tree based dependability analysis 1999 A.BOBBIO; G. FRANCESCHINIS; R. GAETA; AND L. PORTINALE
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation 1999 L.CAPRA; R. GAETA; AND O.BOTTI
Mostrati risultati da 1 a 20 di 101
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile