Research on Modeling and Analyzing Method of Real-time System Based on Hierarchical Real-time Coloured Petri Net
Ming Liu, Guoyin Zhang, Aihong Yao, Chaoguang Men · JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY · 2011
Petri网是一种基于图形进行模拟和分析的数学工具，能够描述系统的异步和并发行为，但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型，然后描述了嵌入式实时系统的建模和实时性分析方法。最后，将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程，仿真和分析结果表明，该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。