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 条
  • [41] A formal graphical based process modeling methodology
    Drengstig, T
    Wasbo, SO
    Foss, BA
    COMPUTERS & CHEMICAL ENGINEERING, 1997, 21 : S835 - S840
  • [42] Statechart Based Formal Modeling of Workflow Processes
    Schumann, Michael
    Michael, James Bret
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 141 - 145
  • [43] Fault Propagation Formal Modeling based on StateFlow
    Chen, Lu
    Jiao, Jian
    Fan, Jiping
    PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
  • [44] Formal Modeling of Parallel System based on TCPN
    Cheng, Bin
    Wang, Xingang
    Tong, Weiqin
    2009 6TH IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING, 2009, : 246 - 250
  • [45] A formal modeling method based on multiple composite scenarios analysis for railway station interlocking system
    Wang, Xi
    OuYang, Cheng-tian
    Li, Pei-pei
    2018 INTERNATIONAL CONFERENCE ON COMPUTER INFORMATION SCIENCE AND APPLICATION TECHNOLOGY, 2019, 1168
  • [46] CPN modeling and analysis of HMIPv6
    Peng, Lei
    Wu, Lei
    Ye, Yalan
    Yu, Fengqi
    Yuan, Hai
    2007 IEEE INTERNATIONAL CONFERENCE ON INTEGRATION TECHNOLOGY, PROCEEDINGS, 2007, : 68 - +
  • [47] CPN Model Checking Method of Concurrent Software Based on State Space Pruning
    Sun, Tao
    Yang, Jing
    Zhong, Wenjie
    2020 IEEE 19TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2020), 2020, : 1391 - 1395
  • [48] Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach
    Mehdy, A. K. M. Nuhil
    Mehrpouyan, Hoda
    ARES 2021: 16TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, 2021,
  • [49] Formal Modeling Method for Prediction of Safe Vehicle Following Mode
    Liu B.-Z.
    Gao S.
    Cao K.
    Wang P.-W.
    Xu Y.
    Zidonghua Xuebao/Acta Automatica Sinica, 2021, 47 (10): : 2364 - 2375
  • [50] CPN based component adaptation
    Shinkawa, Yoshiyuki
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 261 - 268
12345