Armin Zimmermann
ABSTRACT
This paper presents recent changes to TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. A rare-event simulation module has been implemented for colored stochastic Petri nets to efficiently evaluate dependability measures of complex dynamic fault-tolerant systems.
- R. German. Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000. Google Scholar
Digital Library
- R. German, C. Kelling, A. Zimmermann, and G. Hommel. TimeNET -- a toolkit for evaluating non-Markovian stochastic Petri nets. Performance Evaluation, 24:69--87, 1995. Google ScholarDigital Library
- C. Kelling. A framework for rare event simulation of stochastic Petri nets using RESTART. In Proc. of the Winter Simulation Conference, pages 317--324, 1996. Google ScholarDigital Library
- J. Trowitzsch, D. Jerzynek, and A. Zimmermann. A toolkit for performability evaluation based on stochastic UML state machines. In Proc. 2nd Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2007), Nantes, France, Oct. 2007. Google ScholarDigital Library
- B. Tuffin and K. S. Trivedi. Implementation of importance splitting techniques in stochastic Petri net package. In Computer Performance Evaluation, Modelling Techniques and Tools --- 11th Int. Conf., TOOLS 2000, volume 1786 of Lecture Notes in Computer Science, pages 216-pp, Schaumburg, IL, USA, 2000. Springer Verlag. Google ScholarDigital Library
- M. Villén-Altamirano and J. Villén-Altamirano. Analysis of RESTART simulation: Theoretical basis and sensitivity study. European Transactions on Telecommunications, 13(4):373--385, 2002.Google ScholarCross Ref
- A. Zimmermann. Applied restart estimation of general reward measures. In Proc. 6th Int. Workshop on Rare Event Simulation (RESIM 2006), pages 196--204, Bamberg, Germany, Oct. 2006.Google Scholar
- A. Zimmermann. Stochastic Discrete Event Systems. Springer, Berlin Heidelberg New York, 2007. Google ScholarDigital Library
- A. Zimmermann. Restart simulation of colored stochastic petri nets. In Proc. 7th Int. Workshop on Rare Event Simulation (RESIM 2008), pages 143--152, Rennes, France, September 2008.Google Scholar
- A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri net modelling and performability evaluation with TimeNET 3.0. In 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, volume 1786 of Lecture Notes in Computer Science, pages 188--202, Schaumburg, Illinois, USA, 2000. Google ScholarDigital Library
- A. Zimmermann and G. Hommel. Towards modeling and evaluation of ETCS real-time communication and operation. Journal of Systems and Software, 77:47--54, 2005. Google ScholarDigital Library
- A. Zimmermann and M. Knoke. TimeNET 4.0 User Manual. Technische Universität Berlin, 2007. http:/www.tu-ilmenau.de/TimeNET.Google Scholar
- A. Zimmermann, M. Knoke, A. Huck, and G. Hommel. Towards version 4.0 of TimeNET. In 13th GI/ITG Conference on Measurement, Modeling, and Evaluation of Computer and Communication Systems (MMB 2006), pages 477--480, March 2006.Google Scholar
Recommendations
TimeNET: Evaluation Tool for Non-Markovian Stochastic Petri Nets
IPDS '96: Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)The toolkit TimeNET (Timed Net Evaluation Tool), a software package for the modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing time, is described briefly. TimeNET provides a graphical user interface for the model ...
Modeling membrane systems using colored stochastic Petri nets
Membrane systems are a very powerful computational modeling language inspired by the internal organization of living cells. In this paper we explore the use of colored stochastic Petri nets to model an attractive variant of membrane systems--stochastic ...
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm
A colored generalized stochastic Petri net (CGSPN) model was used to study the correctness and performance of the Lamport concurrent algorithm to solve the mutual exclusion problem on machines lacking an atomic test and set instruction. In particular, a ...
Comments