A formal Modeling method based on CPN

被引：0
|
作者：
Li, Shancang [1 ]
Zhang, Deyun [1 ]
Li, Zongbin [2 ]
Ma, Fuhai [3 ]
Wu, Feng [4 ]
机构：
[1] Xi An Jiao Tong Univ, Sch Elect & Informat, Xian 710049, Peoples R China
[2] Xi An Jiao Tong Univ, Sch Mech Engn, State Key Lab Mech Mfg Syst Engn, Xian 710049, Peoples R China
[3] PLA, Unite 63771, Xian 714000, Peoples R China
[4] Xi An Jiao Tong Univ, Sch Management, Key Lab Informat Management & Informat Econom, Educ Minist, Xian, Peoples R China
来源：
2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS | 2006年
关键词：
D O I：
10.1109/ICSMC.2006.385098
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
As a method of system modeling, Coloured Petri nets occupy an essential position in the fields of discrete events and dynamic systems. Traditional Coloured Petri Net is defined with multi-sets that made it difficult in the modeling formalization and difficult to understand in computing. In this paper, a new method to describe Coloured Petri Net with formalization mathematics is presented. In this research, multi-sets can be see as the product of two matrixes and CPN is a superposed net of series of Petri Nets with the same base net. In order to describe CPN with mathematics method effectively, a new concept named as 'Coloured Token Vector' is presented. As a case, routing protocols self-switch mechanism architecture for sensor networks is outlined, the mechanism modeled on the basis of CPN; this is the first such analysis of routing protocols self-switch mechanism in sensor networks, which is simple for use and effective modeling formalization.
引用
收藏
页码：4994 / +
页数：2
相关论文
共 50 条
  • [1] Formal modeling and security analysis method of security protocol based on CPN
    Gong X.
    Feng T.
    Du J.
    Tongxin Xuebao/Journal on Communications, 2021, 42 (09): : 240 - 253
  • [2] Executable Modeling Method Based on the ROAD-CPN Business Architecture
    Huang, Fenglan
    Ni, Feng
    Liu, Jiang
    Wang, Xinkang
    Gu, Tianyu
    Wu, Xia
    2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
  • [3] A CPN Based Method for Aspect-Oriented Modeling and Analysis of Fault Tolerance
    Sun, Xiaoxing
    Yu, Huiqun
    Liang, Honghao
    ADVANCED MATERIALS AND ENGINEERING MATERIALS, PTS 1 AND 2, 2012, 457-458 : 891 - 898
  • [4] Formal Analysis of Reentrancy Vulnerabilities in Smart Contract Based on CPN
    He, Yaqiong
    Dong, Hanjie
    Wu, Huaiguang
    Duan, Qianheng
    ELECTRONICS, 2023, 12 (10)
  • [5] Research on Formal Modeling based on CPN for Movement Authority of High-Speed Railway CTCS-3
    Zhao, Shuxu
    Wang, Xiaoming
    Zhang, Ailing
    ADVANCES IN MANUFACTURING TECHNOLOGY, PTS 1-4, 2012, 220-223 : 2783 - 2787
  • [6] A Formal Method for Modeling Deployment Architectures Based on Bigraphs
    Gassara, Amal
    Rodriguez, Ismael Bouassida
    Jmaiel, Mohamed
    Drira, Khalil
    APPLIED COMPUTING REVIEW, 2015, 15 (02): : 8 - 15
  • [7] A Formal Modeling Method for Workflow Based on Selection Logic
    Xin, Li
    Yu, Liu
    2019 18TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS FOR BUSINESS ENGINEERING AND SCIENCE (DCABES 2019), 2019, : 116 - 119
  • [8] Method of Verification of Software Based on CPN
    Sun, Tao
    Ren, Haifen
    Zhang, Linjing
    2018 4TH INTERNATIONAL CONFERENCE ON COMPUTER AND TECHNOLOGY APPLICATIONS (ICCTA), 2018, : 78 - 84
  • [9] Modeling and analyzing sliding window protocol with improved CPN modeling method
    Zhu, Jinqi
    Liu, Ming
    Zeng, Jiazhi
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE INFORMATION COMPUTING AND AUTOMATION, VOLS 1-3, 2008, : 1049 - 1052
  • [10] A CPN/B method transformation framework for railway safety rules formal validation
    Zakaryae Boudi
    Rahma Ben-Ayed
    El Miloudi El Koursi
    Simon Collart-Dutilleul
    Thomas Nolasco
    Mohamed Haloua
    European Transport Research Review, 2017, 9
12345