TIMENET - A TOOLKIT FOR EVALUATING NON-MARKOVIAN STOCHASTIC PETRI NETS

被引：0
|
作者：
GERMAN, R
KELLING, C
ZIMMERMANN, A
HOMMEL, G
机构：
[1] Institut für Technische Informatik, Fachgebiet Prozeßdatenverarbeitung und Robotik (Real-Time Systems and Robotics), Technische Universität Berlin, 10587 Berlin
来源：
PERFORMANCE EVALUATION | 1995年 / 24卷 / 1-2期
关键词：
PERFORMANCE AND DEPENDABILITY MODELING TOOL; ANALYSIS AND SIMULATION OF STOCHASTIC PETRI NETS; GRAPHICAL USER INTERFACE;
D O I：
10.1016/0166-5316(95)00010-U
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed at the Technische Universitat Berlin in several research projects. A graphical user interface is provided for the model specification and specialized analysis and simulation components are used for the automated model evaluation. The implementation of the analysis and simulation components is based on recent research results. Both the general structure and the underlying algorithms of TimeNET are described. An example illustrates the modeling and evaluation process using TimeNET.
引用
收藏
页码：69 / 87
页数：19
相关论文
共 50 条
  • [1] TimeNET: Evaluation tool for non-Markovian stochastic Petri nets
    Kelling, C
    German, R
    Zimmermann, A
    Hommel, G
    [J]. IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM - IPDS'96, PROCEEDINGS, 1996, : 62 - 62
  • [2] Analysis and evaluation of non-Markovian Stochastic Petri Nets
    Horváth, A
    Puliafito, A
    Scarpa, M
    Telek, M
    [J]. COMPUTER PERFORMANCE EVALUATION, PROCEEDINGS: MODELLING TECHNIQUES AND TOOLS, 2000, 1786 : 171 - 187
  • [3] Recent developments in non-Markovian stochastic Petri nets
    Bobbio, A
    Puliafito, A
    Telek, M
    Trivedi, KS
    [J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 119 - 158
  • [4] Marking dependency in non-Markovian stochastic Petri nets
    Distefano, Salvatore
    Longo, Francesco
    Scarpa, Marco
    [J]. PERFORMANCE EVALUATION, 2017, 110 : 22 - 47
  • [5] Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets
    Horvath, Andras
    Vicario, Enrico
    [J]. SIXTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2009, : 155 - +
  • [6] Time domain analysis of non-Markovian Stochastic Petri Nets with PRI transitions
    Horváth, A
    Telek, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 933 - 943
  • [7] A Grid-based algorithm for the solution of non-Markovian stochastic Petri nets
    Distefano, S.
    Puliafito, A.
    Scarpa, M.
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (09): : 1353 - 1370
  • [8] Prediction of business process durations using non-Markovian stochastic Petri nets
    Rogge-Solti, Andreas
    Weske, Mathias
    [J]. INFORMATION SYSTEMS, 2015, 54 : 1 - 14
  • [9] A parallel approach for the solution of non-Markovian Petri nets
    Scarpa, M
    Distefano, S
    Puliafito, A
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 196 - 203
  • [10] Non-Markovian stochastic petri nets model and identification for onboard hydraulic oil system
    [J]. Liu, J.-F. (iujiufujs@sina.com), 1600, Sichuan University (45):
12345