Modeling and evaluation of stochastic Petri nets with TimeNET 4.1

The paper presents a major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including non-exponentially distributed delays, as well as an efficient simulation module for complex colored models. An overview of the tool is given as well as a description of the new features, which are demonstrated using a manufacturing system application example. The tool is available free of charge for non-commercial use.

[1]  Manuel Silva Suárez,et al.  A two phase optimization method for Petri net models of manufacturing systems , 2001, J. Intell. Manuf..

[2]  Samuel Kounev,et al.  Stochastic Modeling and Analysis Using QPME : Queueing Petri Net Modeling Environment v 2 . 0 , .

[3]  Jörn Freiheit,et al.  Petri Net Modelling and Performability Evaluation with TimeNET 3.0 , 2000, Computer Performance Evaluation / TOOLS.

[4]  Gustavo Rau de Almeida Callou,et al.  Performability modeling of electronic funds transfer systems , 2011, Computing.

[5]  Reinhard German,et al.  Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets , 2001, Perform. Evaluation.

[6]  Ekkart Kindler.  The Petri Net Markup Language and ISO/IEC 15909-2: Concepts, Status, and Future Directions , 2006 .

[7]  Arndt Bode,et al.  OpenSESAME - the simple but extensive, structured availability modeling environment , 2008, Reliab. Eng. Syst. Saf..

[8]  Jan Trowitzsch,et al.  A toolkit for performability evaluation based on stochastic UML state machines , 2007, ValueTools '07.

[9]  Reinhard German,et al.  Transient Analysis of Deterministic and Stochastic Petri Nets with TimeNET , 1995, MMB.

[10]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.

[11]  Samuel Kounev,et al.  Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0 , 2012, Petri Nets.

[12]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[13]  Günter Hommel,et al.  Towards version 4.0 of TimeNET , 2006, MMB.

[14]  William H. Sanders,et al.  Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.

[15]  Günter Hommel,et al.  Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning , 2004, ISPA.

[16]  Armin Zimmermann,et al.  Modelling and evaluation of time aspects in business processes , 2002, J. Oper. Res. Soc..

[17]  J. Trowitzsch,et al.  A toolkit for performability evaluation based on stochastic UML state machines , 2007, Valuetools 2007.

[18]  Gabriel Alves,et al.  Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[19]  Günter Hommel,et al.  Towards modeling and evaluation of ETCS real-time communication and operation , 2005, Journal of Systems and Software.

[20]  Christian Kelling.  A framework for rare event simulation of stochastic Petri nets using “RESTART” , 1996, Winter Simulation Conference.

[21]  Reinhard German,et al.  A Fourth-Order Algorithm with Automatic Stepsize Control for the Transient Analysis of DSPNs , 1999, IEEE Trans. Software Eng..

[22]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[23]  Kishor S. Trivedi,et al.  Reliability and Performability Modeling Using SHARPE 2000 , 2000, Computer Performance Evaluation / TOOLS.

[24]  Kishor S. Trivedi,et al.  SPNP: Stochastic Petri Nets. Version 6.0 , 2000, Computer Performance Evaluation / TOOLS.

[25]  Reinhard German,et al.  Performance analysis of communication systems - modelling with non-Markovian stochastic Petri nets , 2000, Wiley-Interscience series in systems and optimization.

[26]  Armin Zimmermann,et al.  A Petri net based design engine for manufacturing systems , 2001 .

[27]  Laura Carnevali,et al.  Oris: a tool for modeling, verification and evaluation of real-time systems , 2010, International Journal on Software Tools for Technology Transfer.

[28]  Christian Kelling.  TimeNET-Sim-a parallel simulator for stochastic Petri nets , 1995, Proceedings of Simulation Symposium.

[29]  Armin Zimmermann,et al.  Stochastic Discrete Event Systems , 2008 .

[30]  Armin Zimmermann.  Dependability evaluation of complex systems with TimeNET , 2010 .

[31]  Falko Bause,et al.  QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets , 1994, Computer Performance Evaluation.

[32]  A. Zimmermann,et al.  Model-based performance engineering of General Motors’ vehicle supply chain , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[33]  Armin Zimmermann,et al.  RESTART Simulation of Colored Stochastic Petri Nets , 2008 .

[34]  José Villén-Altamirano,et al.  Analysis of restart simulation: Theoretical basis and sensitivity study , 2002, Eur. Trans. Telecommun..

[35]  Ignas G. Niemegeers,et al.  Performability Modelling Tools and Techniques , 1996, Perform. Evaluation.

[36]  Kishor S. Trivedi,et al.  Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives , 1994, Computer Performance Evaluation.

[37]  Antonio Puliafito,et al.  WebSPN: Non-Markovian Stochastic Petri Net Tool , 1997 .

[38]  Monika Heiner,et al.  Snoopy - a unifying Petri net framework to investigate biomolecular networks , 2010, Bioinform..

[39]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[40]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.