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
相关论文
共 12 条
  • [1] AJMONEMARSAN M, 1984, ACM T COMPUT SYST, V2, P93
  • [2] DERIVATION OF A TERMINATION DETECTION ALGORITHM FOR DISTRIBUTED COMPUTATIONS
    DIJKSTRA, EW
    FEIJEN, WHJ
    VANGASTEREN, AJM
    [J]. INFORMATION PROCESSING LETTERS, 1983, 16 (05) : 217 - 219
  • [3] Geist A, 1994, PVM PARALLEL VIRTUAL
  • [4] JENSEN K, 1987, LECT NOTES COMPUT SC, V254, P248
  • [5] Analysis of large GSPN models: A distributed solution tool
    Marenzoni, P
    Caselli, S
    Conte, G
    [J]. PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 122 - 131
  • [6] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    [J]. PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
  • [7] Peterson J., 1981, PETRI NET THEORY MOD
  • [8] RADA I, 2000, THESIS MEMOIAL U NFL
  • [9] Stewart W.J., 1994, Introduction to the numerical solutions of Markov chains
  • [10] Zuberek W. M., 1988, Proceedings Focus on Software. 1988 ACM Sixteenth Annual Computer Science Conference, P239, DOI 10.1145/322609.322648
12