Abstract
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of small stiff DSM, which can occur for example in reliability modeling. However, when parallel processes with largely differing speed are involved, the faster process determines the small discretization time step, investing far too much effort into the approximation of the slower process. This paper relieves that problem by using individual time steps for each transition and situation. The key problem is to keep semantic consistency when using different time steps for parallel transitions. However, the preservation of the probability mass in every single simulation time step could be achieved. Experiments show that binary step division in conjunction with appropriate subdivision criteria can outperform the original Proxel method significantly. This increases the applicability of Proxels, by enabling the analysis of larger and therefore more realistic models.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Horton, G.: A new paradigm for the numerical simulation of stochastic petri nets with general firing times. In: Proceedings of the European Simulation Symposium 2002, pp. 129–136. SCS European Publishing House (2002)
Lazarova-Molnar, S.: The Proxel-Based Method: Formalisation, Analysis and Applications. PhD thesis, Otto-von-Guericke-University Magdeburg (2005)
Buchholz, R.: Improving the Efficiency of the Proxel Method by using Variable Time Steps. Master’s thesis, Otto-von-Guericke-University Magdeburg (2008)
German, R., Lindemann, C.: Analysis of stochastic petri nets by the method of supplementary variables. In: Proceedings of Performance Evaluation, vol. 20, pp. 317–335 (1994)
Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queuing Networks and Markov Chains. John Wiley & Sons, New York (1998)
Richardson, L.: The deferred approach to the limit. part i. single lattice. Philosophical Transactions of the Royal Society of London, Series A 226, 817–823 (1927)
Wickborn, F., Horton, G.: Feasible state space simulation: Variable time steps for the proxel method. In: Proceedings of the 2nd Balkan Conference in Informatics, Ohrid, Macedonia, pp. 446–453 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krull, C., Buchholz, R., Horton, G. (2009). Improving the Efficiency of the Proxel Method by Using Individual Time Steps. In: Al-Begain, K., Fiems, D., Horváth, G. (eds) Analytical and Stochastic Modeling Techniques and Applications. ASMTA 2009. Lecture Notes in Computer Science, vol 5513. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02205-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-02205-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02204-3
Online ISBN: 978-3-642-02205-0
eBook Packages: Computer ScienceComputer Science (R0)