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 条
  • [1] Modular state space exploration for timed petri nets
    Lakos C.
    Petrucci L.
    Int. J. Softw. Tools Technol. Trans., 2007, 3-4 (393-411): : 393 - 411
  • [2] A distributed state space for modular Petri nets
    Ouni, Hiba
    Abid, Chiheb Ameur
    Zouari, Belhassen
    2015 7th International Conference on Modelling, Identification and Control (ICMIC), 2014, : 336 - 341
  • [3] Timed Petri nets in modeling and analysis of cluster tools
    Zuberek, WM
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 562 - 575
  • [4] State space analysis of flexible manufacturing cell using timed colored Petri nets
    Saren, Sanjib Kumar
    Blaga, Florin
    4TH INTERNATIONAL CONFERENCE ON COMPUTING AND SOLUTIONS IN MANUFACTURING ENGINEERING 2016 - COSME'16, 2017, 94
  • [5] Distributed processing based on Timed Petri Nets
    Fang, Xianwen
    Xu, Zhicai
    Yin, Zhixiang
    ICNC 2007: THIRD INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 5, PROCEEDINGS, 2007, : 287 - +
  • [6] Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
    Graff, Daniel
    Richling, Jan
    Werner, Matthias
    FUNDAMENTA INFORMATICAE, 2013, 122 (04) : 297 - 313
  • [7] Distributed simulation of timed coloured Petri nets
    Furfaro, A
    Nigro, L
    Pupo, F
    SIXTH IEEE INTERNATIONAL WORKSHOP ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS, PROCEEDINGS, 2002, : 159 - 166
  • [8] Distributed algorithms: Modeling and analysis with Petri Nets
    Reisig, W
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 38 - 43
  • [9] Modeling and analysis of timed Petri nets using heaps of pieces
    Gaubert, S
    Mairesse, J
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (04) : 683 - 697
  • [10] COLORED TIMED PETRI NETS FOR MODELING AND ANALYSIS OF CLUSER TOOLS
    Wu, NaiQi
    Zhou, MengChu
    ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 253 - 266
12345