A new approach combining simulation and randomization for the analysis of large continuous time Markov chains

DOI10.1145/280265.280274zbMath0922.65100OpenAlexW2025641499MaRDI QIDQ4241213

Peter Buchholz

Publication date: 10 October 1999

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/280265.280274

zbMATH Keywords

algorithmssimulationrare eventsrandomizationstochastic Petri netsqueueing networksnumerical techniquescontinuous time Markov chains

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27) Probabilistic methods, stochastic differential equations (65C99)

Related Items (1)

Comparative Analysis of Statistical Model Checking Tools

Uses Software

• GreatSPN
• TimeNET
• GreatSPN 1.7

This page was built for publication: A new approach combining simulation and randomization for the analysis of large continuous time Markov chains