Verification of Petri net models based on transition vectors

被引：0
|
作者：
Ahmad, Farooq [1 ]
Huang, He-Jiao [1 ]
Wang, Xiao-Long [1 ]
机构：
[1] Shenzhen Grad Sch, Harbin Inst Technol, Dept Comp Sci, Shenzhen 518055, Peoples R China
来源：
PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7 | 2008年
关键词：
Petri net; verification method; structural properties; transition vectors;
D O I：
10.1109/ICMLC.2008.4620651
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The verification of distributed and concurrent systems is a complex task due to the state space explosion problem. In this paper, transition vectors have been initiated as a simplified and systematic approach to identify the structure and have the power of detecting the important structural prospects which aid to verify important properties of Petri nets. Several structural aspects of important properties have been examined for the verification of Petri net models using simplified approach of transition vectors in order to overcome the shortcomings of existing methods of verification.
引用
收藏
页码：1542 / 1547
页数：6
相关论文
共 50 条
  • [1] PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS
    DIAZ, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 135 - 170
  • [2] Petri Net Verification Techniques on Synchronous Dataflow Models
    Rochat, Jose-Inacio
    Gomes, Luis
    Dias, Octavio Pascoa
    [J]. IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2011, : 3792 - 3797
  • [3] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
    Barros, Joao Paulo
    Gomes, Luis
    Costa, Aniko
    [J]. 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143
  • [4] Formal Verification of Blockchain Smart Contract based on Colored Petri Net Models
    Liu, Zhentian
    Liu, Jing
    [J]. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2019, : 555 - 560
  • [5] Petri net based Grid workflow verification and optimization
    Cao, Haijun
    Jin, Hai
    Wu, Song
    Ibrahim, Shadi
    [J]. JOURNAL OF SUPERCOMPUTING, 2013, 66 (03): : 1215 - 1230
  • [6] Process knowledge verification method based on Petri net
    Wang Daliang
    Zhang De-zheng
    Gao Li-xin
    Liu Jian-ming
    Zhang Huan-sheng
    [J]. FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2007, : 173 - +
  • [7] MapReduce rationality verification based on object Petri net
    Ding Zeliu
    Guo Deke
    Chen Xi
    Chen Jin
    [J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2019, 30 (05) : 861 - 874
  • [8] MapReduce rationality verification based on object Petri net
    DING Zeliu
    GUO Deke
    CHEN Xi
    CHEN Jin
    [J]. Journal of Systems Engineering and Electronics, 2019, 30 (05) : 861 - 874
  • [9] Petri net based Grid workflow verification and optimization
    Haijun Cao
    Hai Jin
    Song Wu
    Shadi Ibrahim
    [J]. The Journal of Supercomputing, 2013, 66 : 1215 - 1230
  • [10] Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping
    Fonseca i Casas, Pau
    Lijia Hu, Daniel
    Guasch i Petit, Antoni
    Figueras i Jove, Jaume
    [J]. APPLIED SCIENCES-BASEL, 2020, 10 (04):
12345