A TABULAR METHOD FOR THE ANALYSIS OF LARGE PETRI NETS

被引：1
|
作者：
FAHMY, HMA [1 ]
机构：
[1] AIN SHAMS UNIV,FAC ENGN,DEPT ELECTR & COMP,CAIRO,EGYPT
来源：
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS | 1990年 / 34卷 / 3-4期
关键词：
Analysis techniques; matrix equations; Petri nets; problem size; reachability tree;
D O I：
10.1080/00207169008803877
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
In this paper, a method of analysis of large Petri nets by partitioning is proposed. This method permits a great saving of computation time and storage, which is specially useful when using mini or microcomputers. It was shown that partitioning preserves the characteristics of the main Petri net. The reachability tree method or the matrix equations approach, which were untractable at the whole net level, may be used at the subnet level to get the needed analysis criteria. © 1990, Taylor & Francis Group, LLC. All rights reserved.
引用
收藏
页码：205 / 214
页数：10
相关论文
共 50 条
  • [1] A method of analysis of operational Petri nets
    Zakrevskij, A
    Karatkevich, A
    Adamski, M
    ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 449 - 460
  • [2] Reduction Method for Reachability Analysis of Petri Nets
    韩赞东
    李基范
    Tsinghua Science and Technology, 2003, (02) : 231 - 235
  • [3] Analysis of Petri nets with a dynamic priority method
    Bause, F
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 215 - 234
  • [4] HIERARCHICAL REDUCTION METHOD FOR ANALYSIS AND DECOMPOSITION OF PETRI NETS
    LEE, KH
    FAVREL, J
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1985, 15 (02): : 272 - 280
  • [5] ANALYSIS OF STOCHASTIC PETRI NETS BY THE METHOD OF SUPPLEMENTARY VARIABLES
    GERMAN, R
    LINDEMANN, C
    PERFORMANCE EVALUATION, 1994, 20 (1-3) : 317 - 335
  • [6] Temporal analysis method of Petri-nets based
    Fu, Jianming
    Zhu, Fuxi
    Peng, Rong
    2000, Shenyang Inst Comput Technol, China (21):
  • [7] Safety analysis method using Fuzzy Petri nets
    Son, HS
    Seong, PH
    1997 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1997, : 412 - 417
  • [8] Schedulability Analysis Method of Timing Constraint Petri Nets
    李慧芳
    范玉顺
    TsinghuaScienceandTechnology, 2002, (06) : 596 - 601
  • [9] Business Process Analysis Method based on Petri nets
    Qin, Jianglong
    Zhao, Na
    Xie, Zhongwen
    Mo, Qi
    2017 4TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE), 2017, : 218 - 223
  • [10] PETRI NETS AND LARGE FINITE SETS
    MCALOON, K
    THEORETICAL COMPUTER SCIENCE, 1984, 32 (1-2) : 173 - 183
12345