
- A MAP Fitting Method to Approximate Real Trac Behavior Andr as Horv ath [1] , Gerg}o Istv an R ozsa [2] , Mikl os Telek [2]
- Approximating heavy tailed behaviour with Phase type distributions
- MATRIX GEOMETRIC SOLUTION OF FLUID STOCHASTIC ATH, MARCO GRIBAUDO
- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
- Fluid Stochastic Petri Nets Augmented with Flushout Arcs: A Transient Analysis Technique
- Transient analysis of generalised semi-Markov processes using transient stochastic state classes
- Analysis and Evaluation of non-Markovian Stochastic Petri Nets
- Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the Andras Horvath and Daniele Manini
- Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets
- Electronic Notes in Theoretical Computer Science 52 No. 3 (2001) URL: http://www.elsevier.nl/locate/entcs/volume52.html 18 pages
- NUMERICAL SOLUTION of MARKOV CHAINS, p. 1--18 Analysis of Inhomogeneous Markov Reward Models
- Supplementary Variable Approach Applied to the Transient Analysis of Miklos Telek, Andras Horvath
- Moments Characterization of Order 3 Matrix Exponential Distributions
- AVoCS 2004 Preliminary Version Model Checking Functional and Performability
- CSL Model Checking for Generalized Stochastic Petri Nets Davide Cerotti, Susanna Donatelli, Andras Horvath, and Jeremy Sproston
- Modeling a Car Safety Controller using Fluid Stochastic Petri Nets A. Bobbio [1] , M. Gribaudo [2] , A. Horvath [2]
- Markovian modeling of real data trac: Heuristic phase type and MAP tting of heavy
- PhFit: A General Phase-Type Fitting Tool ? Andr as Horv ath and Mikl os Telek
- Steady State Solution for Models with Geometric and Finite Support Activity Duration
- Journal of Computational and Applied Mathematics 235 (2011) 32153228 Contents lists available at ScienceDirect
- Author's personal copy Performance Evaluation 67 (2010) 759778
- Ann Oper Res DOI 10.1007/s10479-007-0296-8
- This article was downloaded by:[University of Torino] [University of Torino]
- Performance Evaluation 56 (2004) 121144 The scale factor: a new degree of freedom in
- Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
- Performance Evaluation 45 (2001) 205221 Transient analysis of Age-MRSPNs by the method of
- A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks
- Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets
- Compositional Fluid Stochastic Petri Net model for operational software system performance
- Compositional Model Checking of product-form CTMCs
- Modelling a Car Safety Controller in Road Tunnels using Hybrid Petri Nets A. Bobbio[1]
- Modeling Hybrid Positive Systems with Hybrid Petri Nets
- Model-checking based on Fluid Petri Nets for the temperature control system of the ICARO
- Time domain analysis of NMSPN with PRI transitions Andras Horvath
- Time domain analysis of non-Markovian Stochastic Petri Nets with PRI transitions
- SPN 2003 Preliminary Version Translating Hybrid Petri Nets into Hybrid
- Folksonomies meet ontologies in ARSMETEO: from social descriptions of
- Stochastic Models, 21:303326, 2005 Copyright Taylor & Francis, Inc.
- Budapest University of Technology and Economics Department of Telecommunications
- The Scale Factor: A New Degree of Freedom in Phase Type Approximation Andrea Bobbio
- Model Checking Time Petri Nets using Andrea Bobbio [1] , Andr'as Horv'ath [2]
- Performance Evaluation 54 (2003) 132 Acyclic discrete phase type distributions: properties and a
- A traffic based decomposition of two-class queueing networks with priority service q
- A MARKOVIAN POINT PROCESS EXHIBITING MULTIFRACTAL BEHAVIOR AND ITS APPLICATION TO
- Memory Efficient Analysis for a Class of Large Structured Markov Chains
- Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: A Transient Analysis Technique
- Design and Implementation of a WEBbased nonMarkovian Stochastic
- Linear Algebra and its Applications 386 (2004) 383405 www.elsevier.com/locate/laa
- Approximating distributions and transient probabilities of Markov chains by Bernstein
- A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues
- Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains
- On the Properties of Acyclic Bilateral Phase Type Distributions
- The Monte Carlo EM method for the parameter estimation of biological models
- Comparison of approximate kinetics for unireactant enzymes: Michaelis-Menten against
- CS2Bio 2011 Product Form Approximation of Transient
- Stochastic Petri nets with low variation matrix exponentially distributed firing time
- Moments of Cumulated Output and Completion Time of Unreliable General
- Probabilistic Model Checking of non-Markovian Models with Concurrent
- Analysis of stochastic reaction networks with Markov reward models
- Theoretical Computer Science ( ) Contents lists available at ScienceDirect