EXTENDED COLORED PETRI NET - AN EFFICIENT TOOL FOR ANALYZING CONCURRENT SYSTEMS

被引：0
|
作者：
DAS, SK
SARKAR, D
AGRAWAL, VK
PATNAIK, LM
机构：
[1] UNIV MIAMI,DEPT MATH & COMP SCI,CORAL GABLES,FL 33124
[2] ISRO,CTR SATELLITE,BANGALORE 560017,INDIA
[3] INDIAN INST SCI,DEPT COMP SCI & AUTOMAT,BANGALORE 560012,KARNATAKA,INDIA
来源：
INFORMATION SCIENCES | 1991年 / 54卷 / 03期
关键词：
Colored Petri Nets - Concurrent Systems - Interrupt Priority Handlers;
D O I：
10.1016/0020-0255(91)90051-U
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper proposes a novel and simple definition of general colored Petri nets. This definition is coherent with that of (uncolored) Petri nets, preserves the reflexivity of the original net and is extended to represent inhibitors. Also suggested are systematic and formal merging rules to obtain a well-formed structure of the extended colored Petri net by folding a given uncolored net. Finally, we present a technique to compute colored invariants by selecting colored RP-subnets. On the average, the proposed technique performs better than the existing ones. The analysis procedure is explained through an illustrative example of a three-level interrupt-priority-handler scheme. © 1991.
引用
收藏
页码：191 / 218
页数：28
相关论文
共 50 条
  • [1] Analyzing BPMN with extended object petri net
    Yu, Ruiqiang
    Huang, Zhiqiu
    Wang, Lin
    Zhang, Hongjie
    Journal of Software Engineering, 2014, 8 (02): : 58 - 74
  • [2] Modeling electronic institutions with extended colored Petri net
    Cai, Guoyong
    Gao, Ji
    Huang, Yong
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 1072 - +
  • [3] Description and Analysis of Component Based on Extended Colored Petri Net
    Yu Yong
    Li Tong
    Liu Qing
    Jiang Tao
    Xie Zhongwen
    2011 INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION AND INDUSTRIAL APPLICATION (ICIA2011), VOL II, 2011, : 426 - 429
  • [4] Description and Analysis of Component Based on Extended Colored Petri Net
    Yu Yong
    Li Tong
    Liu Qing
    Jiang Tao
    Xie Zhongwen
    2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL VII, 2010, : 427 - 430
  • [5] Modeling Software Component Based on Extended Colored Petri Net
    Yu, Yong
    Li, Tong
    Liu, Qing
    Dai, Fei
    INTELLIGENT COMPUTING AND INFORMATION SCIENCE, PT II, 2011, 135 : 429 - 434
  • [6] Extended Simple Colored Petri Nets: A tool for plant simulation
    Camurri, A
    Coglio, A
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2909 - 2914
  • [7] Verifying the Safety of Aviation Software Based on Extended Colored Petri Net
    Zhou, Hang
    Zhang, Canheng
    Li, Yue
    Gu, Yang
    Zhou, Shikang
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2019, 2019
  • [8] An Extended Colored Petri Net based Model for Web Service Composition
    Li, JingXia
    Zhao, HuiJuan
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES 2010), 2010, : 155 - 159
  • [9] Modeling of ATC operation process based on extended colored petri net
    Guo J.
    Ge S.S.
    Zhu X.
    Zhao F.
    International Journal of Performability Engineering, 2019, 15 (09): : 2522 - 2533
  • [10] Timed colored Petri net model for analyzing operating procedures for batch processes
    Shimizu, Y
    Hiraide, K
    Kodama, T
    Kitajima, T
    JOURNAL OF CHEMICAL ENGINEERING OF JAPAN, 2004, 37 (02) : 224 - 230
12345