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 条
  • [31] Modelling of generalised distributed systems using extended colored net
    Mukherjee, S
    Bhattacharya, S
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 474 - 479
  • [32] Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
    Westergaard, Michael
    Fahland, Dirk
    Stahl, Christian
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VIII, 2013, 8100 : 180 - 202
  • [33] Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems
    Jensen, Kurt
    Kristensen, Lars M.
    COMMUNICATIONS OF THE ACM, 2015, 58 (06) : 61 - 70
  • [34] ANALYZING DEADLOCKS AND LIVELOCKS IN CONCURRENT ADA PROGRAMS USING EXTENDED PETRI NETS.
    Cheng, Jingde
    Ushijima, Kazuo
    Memoirs of the Kyushu University, Faculty of Engineering, 1988, 48 (02): : 153 - 165
  • [35] Extended Time Petri Net and Hybrid Petri Net : Modeling Multi-Instance Dynamic Hybrid Systems
    El Touati, Yamen
    Ayari, Mohamed
    Altowaijri, Saleh
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2018, 18 (05): : 75 - 83
  • [36] Colored Petri net model for significant reduction of invariants in flexible manufacturing systems
    Shah, Shaukat Ali
    Bohez, Erik L. J.
    Shah, Kamran
    ul Haq, Izhar
    Azam, Khizar
    Anwar, Shahzad
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 88 (5-8): : 1775 - 1787
  • [37] An efficient computing of the first passage time in an extended stochastic Petri net
    Moon, HJ
    Kwon, WH
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2000, E83A (06) : 1267 - 1276
  • [38] Colored Petri net Model for Secure Document Management in Business Process Systems
    Allani, Imen Chaouachi
    Zouari, Belhassen
    Ghedira, Chirine
    2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 829 - 834
  • [39] Colored Petri net model for significant reduction of invariants in flexible manufacturing systems
    Shaukat Ali Shah
    Erik L. J. Bohez
    Kamran Shah
    Izhar ul Haq
    Khizar Azam
    Shahzad Anwar
    The International Journal of Advanced Manufacturing Technology, 2017, 88 : 1775 - 1787
  • [40] CELERITAS - A COLORED PETRI NET APPROACH TO SIMULATION AND CONTROL OF FLEXIBLE MANUFACTURING SYSTEMS
    COSSINS, R
    FERREIRA, P
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1992, 30 (08) : 1925 - 1956
12345