Uniformization and hybrid simulation/analytic models of renewal processes
Operations Research
IEEE Transactions on Computers
Bounding availability of repairable computer systems
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Parallel simulation of queueing networks: limitations and potentials
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
On the solution of GSPN reward models
Performance Evaluation
Optimistic parallel simulation of continuous time Markov chains using uniformization
Journal of Parallel and Distributed Computing - Special issue on parallel and discrete event simulation
Fast simulation of rare events in queueing and reliability models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
From queueing networks to Markov chains: the XMARCA interface
Performance Evaluation - Special issue: performance modeling tools
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
A comparative study of parallel algorithms for simulating continuous time Markov chains
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains
Proceedings of the eleventh workshop on Parallel and distributed simulation
Hybrid simulation models of computer systems
Communications of the ACM
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Distributed Simulation of Petri Nets
IEEE Parallel & Distributed Technology: Systems & Technology
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
A hybrid analysis approach for finite-capacity queues with general inputs and phase type service
Queueing Systems: Theory and Applications
Split: a flexible and efficient algorithm to vector-descriptor product
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Hi-index | 0.00 |
A new analysis method for continuous time Markov chains is introduced. The method combines, in some sense, simulation and numerical techniques for the analysis of large Markov chains. The basis of the new method is the description of a continuous-time Markov chain as a set of communicating processes. The state of all or some of the processes is described by a state vector, including a probability distribution over the set of locally reachable states. Simulation is used to determine the event times and message types exchanged between processes. Local transitions are realized by vector matrix products describing the next state distribution form the current one. In this way, the state explosion problem of numerical analysis is avoided, but it is still possible to obtain more accurate results that with pure simulation. The approach is therefore especially useful for the analysis of quantities with small probabilities or for the analysis of rare events.