“改进的有色Petri网在建模和验证中的应用…”
瓦莱里·A·内波米纳希 , Gennady I.Alekseev先生 , 维克托·阿尔吉洛夫 , 德米特里·贝洛格拉佐夫 , 亚历山大·V·拜斯特罗夫 , 尤金·切夫塔科夫 , 塔蒂亚娜·丘里娜 , 谢尔盖·梅尼科夫 , 鲁斯兰·诺维科夫 :
改进的有色Petri网在SDL特定通信协议建模和验证中的应用。 CSR公司 2007 : 303-314
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。