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 条

[21] A new method for FMS modeling and formal verification
Gang, X
Wu, ZM
ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 224 - 231
[22] Formal modeling method for supply chain management
2001, Nanjing University of Aeronautics an Astronautics (33):
[23] A formal modeling method for embedded software architecture
Xu, Hai-Yang
Zhuang, Yi
Gu, Jing-Jing
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2014, 42 (08): : 1515 - 1521
[24] MODELING AND ANALYSIS OF SMART HOME NETWORKED CONTROL SYSTEM BASED ON CPN
Xie, Yu-Fei
Shan, Xin
ENERGY AND MECHANICAL ENGINEERING, 2016, : 1139 - 1146
[25] Modeling Weapon Target Assignment of Air Defense Based on CPN and MAS
Gao Jiale
Wang Gang
Yao Xiaoqiang
Xiao Jinke
2015 CHINESE AUTOMATION CONGRESS (CAC), 2015, : 161 - 165
[26] Modeling enterprise organization community on CPN
Sun, Yongqiang
Wang, Zhenlei
Qian, Feng
PROCEEDINGS OF THE 2007 CONFERENCE ON SYSTEMS SCIENCE, MANAGEMENT SCIENCE AND SYSTEM DYNAMICS: SUSTAINABLE DEVELOPMENT AND COMPLEX SYSTEMS, VOLS 1-10, 2007, : 1929 - 1936
[27] Modeling and Verification of Control System Specification for Railway Level Crossings Based on Formal Method
Wang K.
Wang Z.
Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2019, 54 (03): : 573 - 578and603
[28] An Automatic Modeling Method for Web Service Business Processes towards CPN Model Checking
Sun, Tao
Zuo, Kangshuai
Zhong, Wenjie
2022 IEEE INTL CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, BIG DATA & CLOUD COMPUTING, SUSTAINABLE COMPUTING & COMMUNICATIONS, SOCIAL COMPUTING & NETWORKING, ISPA/BDCLOUD/SOCIALCOM/SUSTAINCOM, 2022, : 715 - 721
[29] Modeling of multi-project scheduling for complex product development based on CPN
Coll. of Automatic Control, Beijing Univ. of Aero. and Astro., Beijing 100083, China
不详
Industry Corp., Beijing 100854, China
Xitong Fangzhen Xuebao, 2007, 17 (3869-3872+3948):
[30] OpenFlow Modeling Based on CPN for Evolution Consideration and Executable Test Case Generation
Ruan, Hongwei
Wang, Lu
Yang, Xiao
Dong, Lulu
Li, Hua
2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2017, : 72 - 77

← 1 2 3 4 5 →