摘要
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。
Hierarchical Colored Petri Net is a high-level Petri net characterized by model description language Standard ML,hierarchical function and graphical description.With simulating CPN Tools,it serves as an effective means for information system modeling,describing the control flow and data flow of an information system and depicting the business process of the system comprehensively.This paper proposes a formal definition of HCPN,and based on which establishes a HCPN model of the Web information system of Campus Card in smart campus,and graphically describes,synergistically simulates,and analyzes each of the sub-CPN systems.State space instruments are used to analyze and verify the correctness,reliability and robustness of the HCPN model.
作者
朱正月
ZHU Zheng-yue(Department of Information and Intelligent Engineering,Anhui Vocational College of Electronics and Information Technology,Bengbu 233030,Anhui)
出处
《集宁师范学院学报》
2020年第3期1-6,共6页
Journal of Jining Normal University
基金
安徽省2018年度高校学科(专业)拔尖人才学术资助项目(gxbjZD85)
安徽省2017年高等学校省级质量工程项目——物联网应用技术专业团队(2017jxtd104)。
