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