摘要
鉴于时间Petri网易于描述系统并发、冲突等现象的优点 ,本文首先介绍了几种时间Petri网 ,并采用了其中的时延Petri网和随机Petri网 ,在理论上分别建模和分析了同一通信协议。然后 ,将理论上得出的这两种协议描述分析方法 ,分别应用在一实际温控系统的现场通信协议中。通过比较、验证系统的性能指标 ,说明了这两种方法的应用性和针对性。
Whereas the merit of time Petri net which has the ability to describe the phenomenon of concurrency and conflict in the system,first several types of time Petri nets are introduced and timed Petri net and stochastic Petri net are adopted to build and analyze the same communication protocol in theory, so two methods are obtained. And then, the applicability and pertinency of these two methods are illuminated after analyzing, comparing and validating the performance of field communication protocol using in a practical temperature controlled system.
出处
《测控技术》
CSCD
2000年第12期28-32,共5页
Measurement & Control Technology
基金
上海市科委发展基金资助项目
