Modeling and evaluation of stochastic Petri nets with TimeNET 4.1
暂无分享,去创建一个
[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.