Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 99
Titolo Data di pubblicazione Autore(i) File
Supplementary variable approach applied to the transient analysis of age-MRSPNs 1998 M. TELEK; A. HORVATH
Design and implementation of a WEB-based non-Markovian stochastic Petri net tool. 1998 A. HORVATH; A. PULIAFITO; M. SCARPA; M. TELEK; O. TOMARCHIO
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets 1999 A. BOBBIO; S. GARG; M. GRIBAUDO; A. HORVATH; M. SERENO; M. TELEK
A MAP fitting method to approximate real traffic behavior 2000 A. HORVATH; G. I. ROZSA; M. TELEK
Approximating heavy tailed behavior with phase type distributions 2000 A. HORVATH; M. TELEK
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 2000 BERNARDI S.; DONATELLI S.; HORVATH A.
Analysis and evaluation of non-Markovian stochastic Petri nets 2000 A. HORVATH; A. PULIAFITO; M. SCARPA; M. TELEK
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 2001 S. BERNARDI; S. DONATELLI; A. HORVATH
Model checking time petri nets using NuSMV 2001 A. BOBBIO; A. HORVATH
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis 2001 M. GRIBAUDO; M. SERENO; A. HORVATH; A. BOBBIO
GreatSPN in the new Millenium 2001 S. BERNARDI; BERTONCELLO C; DONATELLI S; FRANCESCHINIS G; GAETA R; GRIBAUDO M; HORVATH A
Time domain analysis of NMSPNs with PRI transitions 2001 A. HORVATH; M. TELEK
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 2001 M. GRIBAUDO; A. HORVATH
Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis 2001 A. BOBBIO; A. HORVATH
Transient analysis of age-MRSPNs by the method supplementary variables 2001 M. TELEK; A. HORVATH
Phfit: A general phase-type fitting tool 2002 A. HORVATH; M. TELEK
Matrix geometric solution of fluid stochastic petri nets 2002 A. HORVATH; M. GRIBAUDO
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 2002 M. GRIBAUDO; A. HORVATH; A. BOBBIO; E. TRONCI; E. CIANCAMERLA; M. MINICHINO
Markovian modeling of real data traffic: Heuristic phase type and map fitting of heavy tailed and fractal like samples 2002 A. HORVATH; M. TELEK
Time domain analysis of non-markovian stochastic petri nets with pri transitions 2002 A. HORVATH; M. TELEK
Mostrati risultati da 1 a 20 di 99
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