Design and implementation of a WEB-based non-Markovian stochastic Petri net tool

被引:0
|
作者
Horváth, A [1 ]
Puliafito, A [1 ]
Scarpa, M [1 ]
Telek, M [1 ]
Tomarchio, O [1 ]
机构
[1] Tech Univ Budapest, Dept Telecommun, H-1521 Budapest, Hungary
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper describes a new modeling tool for the analysis of non-Markovian stochastic Petri nets (SPN). This tool, called Web-SPN, provides a discrete time approximation of the stochastic behavior of the marking process which results in the possibility to analyze a wider class of PN models with prd, prs and pri concurrently enabled generally distributed transitions. An example is implemented into the tool.
引用
收藏
页码:101 / 109
页数:9
相关论文
共 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] A non-Markovian stochastic Petri net-based approach to performance evaluation of ontology-based service composition
    Xia, Yunni
    Wan, Neng
    Dai, Gang
    Luo, Xin
    Sun, Tianhao
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (18): : 2255 - 2267
  • [6] 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
  • [7] TIMENET - A TOOLKIT FOR EVALUATING NON-MARKOVIAN STOCHASTIC PETRI NETS
    GERMAN, R
    KELLING, C
    ZIMMERMANN, A
    HOMMEL, G
    [J]. PERFORMANCE EVALUATION, 1995, 24 (1-2) : 69 - 87
  • [8] Design and time parameters identification for non-Markovian Petri net models: application to reliability analysis
    Lefebvre, D.
    [J]. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2011, 225 (O1) : 1 - 17
  • [9] Design and implementation of Web-based education tool
    Imai, Y
    Tomita, S
    Inomo, H
    Furukawa, Z
    Shiraki, W
    Ishikawa, H
    Miyatake, A
    [J]. 2002 SYMPOSIUM ON APPLICATIONS AND THE INTERNET (SAINT) WORKSHOPS, PROCEEDINGS, 2002, : 204 - 211
  • [10] 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 - +