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 条
  • [41] GA optimization of Petri net-modeled concurrent service systems
    Gonsalves, Tad
    Itoh, Kiyoshi
    APPLIED SOFT COMPUTING, 2011, 11 (05) : 3929 - 3937
  • [42] A Petri net extension for systems of concurrent communicating agents with durable actions
    Mecheraoui, Khalil
    Lomazova, Irina A.
    Belala, Nabil
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2021, 155 : 14 - 23
  • [43] Colored Petri Net Representation of RDF Models
    Yim, Jaegeol
    Jeong, Seunghwan
    Joo, Jaehun
    2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING SYMPOSIA, VOLS 1-5, PROCEEDINGS, 2008, : 549 - +
  • [44] A colored Petri net-based formal method for the design of central systems
    Makungu, M
    StDenis, R
    Barbeau, M
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35
  • [45] A COLORED PETRI-NET MODEL OF VHDL
    OLCOZ, S
    COLOM, JM
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 7 (1-2) : 101 - 123
  • [46] Petri net based diagnostic approach for concurrent discrete event systems
    Windmann, Stefan
    AT-AUTOMATISIERUNGSTECHNIK, 2024, 72 (04) : 259 - 271
  • [47] Unified Colored Timed Petri Net Models for the Adaptive Control of Disassembly Systems
    Tang, Ying
    2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2008, : 638 - 643
  • [48] Verification of Service Replaceability with Colored Petri Net
    Liu, Ying
    Zhang, Bin
    Wang, De-shuai
    Zhang, Ming-wei
    Zhu, Zhi-liang
    2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT UBIQUITOUS COMPUTING AND EDUCATION, 2009, : 400 - +
  • [49] Colored Petri net control of OR-Logic
    Wu, WM
    Su, HY
    Chu, J
    Wonhan, WM
    PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 795 - 800
  • [50] An Attack Modeling Based on Colored Petri Net
    周世杰
    秦志光
    张峰
    刘锦德
    Journal of Electronic Science and Technology of China, 2004, (01) : 47 - 52
12345