论文部分内容阅读
该文以此为背景,应用DEDS(离散事件动态系统)中的理论与方法,对CIMS中一类通信协议系统进行了若干探讨和研究,包括建立D-计时Petri网模型,对其进行性能分析以及用自动机对协议模型进行控制,同时还成功地编制了D-计时Petri网的仿真软件.论文详细阐述了对于一个实际的系统,如何应用DEDS中的理论对其进行性能评估和控制综合.