SPN2MGM: Tool support for matrix-geometric stochastic Petri nets

被引：0
|
作者：
Haverkort, BR [1 ]
机构：
[1] RHEIN WESTFAL TH AACHEN,LUFG INFORMAT DISTRIBUTED SYST,D-52056 AACHEN,GERMANY
来源：
IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM - IPDS'96, PROCEEDINGS | 1996年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：219 / 228
页数：10
相关论文
共 30 条
  • [21] AN FMS SCHEDULING AND CONTROL DECISION-SUPPORT SYSTEM BASED ON GENERALIZED STOCHASTIC PETRI NETS
    HU, GH
    WONG, YS
    LOH, HT
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1995, 10 (01): : 52 - 58
  • [22] DIAGNOSIS OF COMPUTER-SYSTEMS BY STOCHASTIC PETRI NETS .2. (THEORY)
    SHEDLER, GS
    MORIGUCHI, S
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993, E76A (04) : 565 - 579
  • [23] Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool
    German, R
    [J]. COMPUTER PERFORMANCE EVALUATION: MODELLING TECHNIQUES AND TOOLS, 1998, 1469 : 255 - 266
  • [24] Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
    German, R
    [J]. PERFORMANCE EVALUATION, 2000, 39 (1-4) : 165 - 188
  • [25] Integrated logistic support studies using behavioral Monte Carlo simulation, supported by generalized stochastic Petri nets
    Garnier, R
    Chevalier, M
    [J]. PSAM 5: PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOLS 1-4, 2000, (34): : 939 - 945
  • [26] Matrix-Geometric Solution of a Heterogeneous Two-Server M/(PH,M)/2 Queueing System with Server Breakdowns
    Yue, Dequan
    Wang, Ling
    Xu, Tingting
    Li, Haiying
    [J]. 2010 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-5, 2010, : 1492 - 1495
  • [27] Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets
    Liu, Fei
    Heiner, Monika
    [J]. IET SYSTEMS BIOLOGY, 2013, 7 (04) : 106 - 113
  • [28] A study on group buying of O2O mode using generalized stochastic petri nets
    Hou, Fangfang
    Zhang, Shuyun
    Wang, Yue
    [J]. International Journal of Smart Home, 2015, 9 (03): : 55 - 70
  • [29] A Study on Group Buying of O2O Mode using Generalized Stochastic Petri Nets
    Hou, Fangfang
    Zhang, Shuyun
    [J]. 2014 INTERNATIONAL CONFERENCE ON MANAGEMENT OF E-COMMERCE AND E-GOVERNMENT (ICMECG), 2014, : 354 - 360
  • [30] The EventB2PN Tool: From Event-B Specification to Petri Nets through Model Transformation
    Garoui, Mohamed
    Mazigh, Belhassen
    Koukam, Abderrafiaa
    [J]. 2015 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2015, : 657 - 663
123