交互控制协议的扩充设计及Petri 网验证

交互控制协议的扩充设计及Petri 网验证

韩冬艳, 侯彤璞

Expansion Design and Petri Net Validation of Interactive Control Protocol

HAN Do ng - yan,HO U Tong - pu

辽宁石油化工大学学报 . 2007, (1): 67 -69 .