Modeling and analysis of distributed state space generation for timed Petri nets

被引：0
|
作者：
Zuberek, WM [1 ]
Rada, I [1 ]
机构：
[1] Mem Univ Newfoundland, Dept Comp Sci, St John, NF A1B 3X5, Canada
来源：
34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS | 2001年
关键词：
D O I：
10.1109/SIMSYM.2001.922120
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The performance of distributed generation of the state space for timed Petri nets is rather sensitive to the type of analyzed nets. In order to analyze the performance of such an application, the distributed generation is represented by a timed Petri net and the behavior of this net is studied, wing simulation techniques, for different combinations of modeling parameters.
引用
收藏
页码：93 / 98
页数：6
相关论文
共 50 条
  • [11] TimeNET - A Toolkit for modeling with timed petri nets
    TimeNET - ein Werkzeug zur Modellierung mit zeiterweiterten Petri-Netzen
    1600, De Gruyter Oldenbourg (37):
  • [12] MODELING SCHEDULING PROBLEMS WITH TIMED PETRI NETS
    CARLIER, J
    CHRETIENNE, P
    GIRAULT, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 62 - 82
  • [13] A Holistic State Equation for Timed Petri Nets
    Werner, Matthias
    Popova-Zeugmann, Louchka
    Haustein, Mario
    Pelz, E.
    FUNDAMENTA INFORMATICAE, 2014, 133 (2-3) : 305 - 322
  • [14] Petri Nets State Space Analysis in the Cloud
    Camilli, Matteo
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1638 - 1640
  • [15] A modular approach to the distributed simulation of timed Petri nets
    Beraldi, R
    Nigro, L
    SIMULATION: PAST, PRESENT AND FUTURE, 1998, : 49 - 53
  • [16] An approach to distributed state space exploration for coloured Petri nets
    Kristensen, LM
    Petrucci, L
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 474 - 483
  • [17] Symbolic Analysis of Timed Petri Nets
    Zuberek, Wlodek M.
    THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
  • [18] Rollback reduction for distributed simulation of timed Petri nets
    Combettes, S
    Nketsa, A
    SIMULATION IN INDUSTRY'2000, 2000, : 601 - 605
  • [19] A new approach to the distributed simulation of timed Petri nets
    Cui, QM
    Turner, SJ
    MODELLING AND SIMULATION 1996, 1996, : 90 - 94
  • [20] Development of an environment for distributed colored timed Petri nets
    Huang, HP
    Shih, TC
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 523 - 528
12345