论文部分内容阅读
该文针对基本Petr网没有描述时间量的缺点,引入几种时间Petr网,并采用其中的时延Petr网和随机Petr网在理论上分别对同一通信协议进行了建模和分析,从而得到用两种不同形式的Petr网来描述同一协议的方法。最后将这两种方法分别对实际温控系统的现场通信协议进行了性能分析、比较和验证,说明了这两种方法的应用性和针对性。