协议综合系统的研究

将离散事件动态系统的监控理论用于网络协议的综合过程，由给定的全局服务规格要求出 ，运用控制系统理论，能够直接得到满足要求的协议描述。指明了控制理论为协议综合和验证提供了新的途径和方法。