Modeling and evaluation of stochastic Petri nets with TimeNET 4.1

Proceedings of the 2012 6th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2012

Volumn , Issue , 2012, Pages 54-63

  Zimmermann, Armin ^a  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

colored Petri nets; Modeling tool; performance evaluation; stochastic Petri nets; TimeNET

Indexed keywords

COLORED PETRI NETS; MODELING TOOL; PERFORMANCE EVALUATION; STOCHASTIC PETRI NETS; TIMENET;

PETRI NETS;

COMPUTER SIMULATION;

EID: 84871895822     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/icst.valuetools.2012.250263     Document Type: Conference Paper

References (42)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, ser. Series in parallel computing. John Wiley and Sons, 1995.
2. L. M. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Trves,"The Petri net markup language and ISO/LEC15909-2," in Proc.10th Int. Workshop on Practical Use of Colored Petri Nets and the CPN Tools - CPN'09. Aarhus University, 2009.
3. C. Lindemann, Peiformance Modelling with Deterministic and Stochastic Petri Nets. Wiley, 1998.
4. A. Zimmermann, J. Freiheit, R. German, and G. Hommel,"Petri net modeling and performability evaluation with TimeNET 3.0," in Proc. of the11th Int. Corif. on Tools and Techniques for Computer Peiformance Evaluation, Schaumburg, Illinois, USA, 2000, pp.188-202.
5. A. Zimmermann, M. Knoke, A. Huck, and G. Hommel,"Towards version 4.0 of TimeNET," in13th GIIITG Conference on Measurement, Modeling, and Evaluationof Computer and Communication Systems (MMB 2006), March 2006, pp. 477-480.
6. A. Zimmermann, Stochastic Discrete Event Systems. Springer, Berlin Heidelberg New York, 2007.
7. B. R. Haverkort and L. G. Niemegeers,"Performability modelling tools and techniques," Peiformance Evaluation, vol. 25, no. I, pp.17-40, 1996.
8. K. S. Trivedi, B. R. Haverkort, A. Rindos, and V. Mainkar, "Techniques and tools for reliability and performance evaluation: problems and perspectives," in Proc. 7th Int. Con! on Computer performance evaluation: modelling techniques and tools. Vienna, Austria: Springer Verlag, 1994, pp.1-24.
9. Petri net home page, hup://www.informatik.unihamburg.de/TGIIPetriNets.
10. S. Bernardi, C. Bertoncello, S. Donatelli, G. Franceschinis, G. Gaeta, M. Gribaudo, and A. Horvath,"GreatSPN in the new miUenium." Universitat Dortmund (Germany), Research Report 76012001, Sep. 2001, tools of Aachen 2001, Int. Multiconf. on Measurement, Modelling and Evaluationof Computer- Communication Systems, pages 17-23.
11. P. Bonet, C. M. Llado, R. Puijaner, and W. J. Knottenbelt,"PIPE v2.5: A Petri net tool for performance modelling," in Proc. 23rd Latin American Conference on Informatics (CLE12007), San Jose, Costa Rica, oct 2007.
12. C. Hirel, B. Tuffin, and K. S. Trivedi,"SPNP: Stochastic Petri nets. version 6.0." in Computer Peiformance Evaluation, Modelling Techniques and Tools -11th Int. Con!, TOOLS 2000, ser. Lecture Notes in Computer Science, vol.1786. Schaumburg, IL, USA: Springer Verlag, 2000, pp. 354-357.
13. A. Bobbio, A. Puliafito, M. Scarpa, and M. Telek,"WebSPN: Non markovian stochastic Petri net tool," in Proc.18th Int. Con! on Application and Theory of Petri Nets, Toulouse, France, Jun.1997, pp. 24-33.
14. G. Bucci, L. Carnevali, L. Ridi, and E. Vicario,"Oris: a tool for modeling, verification and evaluationof real-time systems," Int. Journal of Software Tools for Technology Transfer, vol.12, no. 5, pp. 391-403, 2010.
15. K. Jensen and L. M. Kristensen, Coloured Petri Nets. Springer-Verlag Berlin Heidelberg, 2009.
16. K. Jensen, K. L. Kristensen, and L. Wells,"Coloured Petri nets and CPN tools for modelling and validationof concurrent systems," Int. fournal on Software Tools for Technology Transfer (STTT), vol. 9, no. 3-4, pp. 213-254, 2007. 62
17. C. Hirel, R. A. Sahner, X. Zang, and K. S. Trivedi,"Reliability and performability modeling using SHARPE 2000," in J1th Int. Corif. Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000), ser. Lecture Notes in Computer Science, B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith, Eds., vol.1786. Schaumburg, IL, USA: Springer, 2000, pp. 345-349.
18. M. Walter, M. Siegle, and A. Bode,"OpenSESAME - the simple but extensive, structured availability modeling environment," Reliability Engineering and System Safety, vol. 93, no. 6, pp. 857-873, 2008.
19. C. Rohr, W. Marwan, and M. Heiner,"Snoopy - a unifying Petri net framework to investigate biomolecular networks," Bioinformatics, vol. 26, no. 7, pp. 974-975, 2010.
20. F. Bause and P. Kemper,"QPN-tool for the qualitative and quantitative analysis of queueing Petri nets," in Quantitative Evaluationof Computing and Communication Systems. Springer Verlag, 1994, vol. 794, pp. 224-238.
21. S. Spinner, S. Kounev, and P. Meier,"Stochastic modeling and analysis using QPME: Queueing petri net modeling environment v2.0," in P roceedings of the 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2012), ser. Lecture Notes in Computer Science. Springer, June 2012.
22. T. Courtney, S. Gaonkar, K. Keefe, E. W. D. Rozier, and W. H. Sanders,"Mbius 2.3: An extensible tool for dependability, security, and performance evaluationof large and complex system models." in Proc. 39thIEEEl1FlP Int. Corif. on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, Jun. 2009, pp. 353-358.
23. R. German, Peiformance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
24. R. German and J. Mitzlaff,"Transient analysis of deterministic and stochastic Petri nets with TimeNET," in Proc. Joint Corif. 8th Int. Corif. on Modelling Techniques and Tools for Performance Evaluation, ser. Lecture Notes in Computer Science. Springer Verlag, 1995, vol. 977, pp. 209-223.
25. A. Heindl and R. German,"A fourth order algorithm with automatic stepsize control for the transient analysis of DSPNs," IEEE Transactions on Software Engineering, vol. 25, pp.194-206, 1999.
26. A. Zimmermann, J. Freiheit, and A. Huck,"A Petri net based design engine for manufacturing systems," Int. Journal of Production Research, special issue on Modeling, Specification and Analysis of Manufacturing Systems, vol. 39, no. 2, pp. 225-253, 2001.
27. C. Kelling,"TimeNETsilll - a parallel simulator for stochastic Petri nets," in Proc. 28th Annual Simulation Symposium, Phoenix, AZ, USA, 1995, pp. 250-258.
28. M. ViUen-Altamirano and J. Villtin-Altamirano,"Analysis of RESTART simulation: Theoretical basis and sensitivity study," European Transactions on Telecommunications, vol.13, no. 4, pp. 373-385, 2002.
29. C. Kelling,"A framework for rare event simulationof stochastic Petri nets using RESTART," in Proc. of the Winter Simulation Conference, 1996, pp. 317-324.
30. A. Zimmermann and G. Hommel,"Towards modeling and evaluationof ETCS real-time communication and operation," Journal of Systems and Software, vol. 77, pp. 47-54, 2005.
31. A. Zimmermann, D. Rodriguez, and M. Silva,"A two phase optimisation method for Petri net models of manufacturing systems," Journal of Intelligent Manufacturing, vol.12, no. 5/6, pp. 409-420, Oct. 2001, special issue"Global Optimization Meta-Heuristics for Industrial Systems Design and Management".
32. J. Trowitzsch, D. Jerzynek, and A. Zimmermann,"A toolkit for performability evaluation based on stochastic UML state machines," in Proc. 2nd Int. Con! on Performance Evaluation Methodologies and Tools (Valuetools 2007), Nantes, France, Oct. 2007.
33. A. Zimmermann, M. Knoke, S.-T. Yee, and J. D. Tew,"Model-based performance engineering of General Motors' vehicle supply chain," in IEEE Int. Con! on Systems, Man and Cybernetics (SMC 2007), Montreal, Canada, Oct. 2007, pp.1415-1420.
34. M. Knoke, F. Khling, A. Zimmermann, and G. Hommel,"Towards correct distributed simulationof high-level Petri nets with fine-grained partitioning," in 2nd Int. Symp. Parallel and Distributed Processing and Applications (lSPA'04), ser. Lecture Notes in Computer Science, J. Cao, Ed., vol. 3358. Hong Kong, China: Springer Verlag, Dec. 2004, pp. 64-74.
35. A. Zimmermann,"RESTART simulationof colored stochastic Petri nets," in Proc. 7th Int. Workshop on Rare Event Simulation (RESIM 2008), Rennes, France, Sep. 2008, pp.143-152.
36. A. Heindl and R. German,"Performance modeling of IEEE 802.11wireless LANs with stochastic Petri nets," Peiformance Evaluation, vol. 44, pp.139-164, 2001.
37. A. Zimmermann,"Dependability evaluationo f complex systems with TimeNET," in Proc. Int. Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems (DYADEM-FTS 2010), Valencia, Spain, Apr. 2010.
38. A. Zimmermann and J. Trowitzsch,"Reliability evaluationof distributed embedded systems with UML state charts and rare event simulation," in Tagungsband des Dagstuhl-Workshops MBEES: Modellbasierte Entwicklung eingebetteter Systeme, H. Giese, Ed. Technische Universitt Braunschweig, 2009, pp.128-139.
39. J. Dehnert, J. Freiheit, and A. Zimmermann,"Modelling and evaluation of time aspects in business processes," Journal of the O perational Research Society, vol. 53, pp.1038-1047, 2002. 63
40. G. Alves, P. Maciel, P. Lima, R. Massa Ferreira, and A. Zimmermann,"Automatic modeling for performance evaluationof inventory and outbound distribution," IEEE Trans. on Systems, Man and Cybernetics. Part A, Systems and Humans, vol. 40, no. 5, pp.1025-1044, 2010.
41. C. Araujo, P. Maciel, A. Zimmermann, E. Andrade, E. Sousa, G. Callou, and P. Cunha,"Performability modeling of electronic funds transfer systems," Computing, vol. 91, no. 4, pp. 315-334, 2010, springer Wien.
42. M. Zhou and K. Venkatesh, Modeling, Simulation, and Control of Flexible Manufacturing Systems, ser. Intelligent Control and Intelligent Automation. World Scientific, 1999.