瓦莱里·A·内波米纳希 Gennady I.Alekseev先生 亚历山大·V·拜斯特罗夫 谢尔盖·梅尼科夫 E.V.Okunshnikova公司 P.A.Chubarev先生 塔蒂亚娜·丘里娜 使用高级Petri网验证Estelle指定的通信协议。 58-68 2001 27 程序。计算。柔和。 2 https://doi.org/10.1023/A:1011094609718 db/journals/pcs/pcs27.html#NepominaschyABMOCC01