谢尔盖·梅尼科夫 瓦莱里·A·内波米纳希 Gennady I.Alekseev先生 维克托·阿尔吉洛夫 德米特里·贝洛格拉佐夫 亚历山大·V·拜斯特罗夫 尤金·切夫塔科夫 塔蒂亚娜·丘里娜 谢尔盖·梅尼科夫 鲁斯兰·诺维科夫 改进的着色Petri网在SDL指定通信协议建模和验证中的应用。 303-314 2007 conf/csr/2007 企业社会责任 https://doi.org/10.1007/978-3-540-74510-5_31 db/conf/csr/csr2007.html#NepominaschyAABBCCMN07
瓦莱里·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
瓦莱里·A·内波米纳希 Gennady I.Alekseev先生 亚历山大·V·拜斯特罗夫 塔蒂亚娜·丘里娜 谢尔盖·梅尼科夫 E.V.Okunshnikova公司 酯类特定通信协议的Petri网建模。 94-108 1995 conf/pact/1995年 帕克托 db/conf/pact/pact1995.html#NepomniaschyABCMO95 https://doi.org/10.1007/3-540-60222-4_100 Gennady I.Alekseev先生 维克托·阿尔吉洛夫 德米特里·贝洛格拉佐夫 亚历山大·V·拜斯特罗夫 尤金·切夫塔科夫 P.A.Chubarev先生 塔蒂亚娜·丘里娜 瓦莱里·A·内波米纳希 鲁斯兰·诺维科夫 E.V.Okunshnikova公司