布莱·博内；帕特里克·哈斯鲁姆；维克托·科门科；西尔维·蒂埃鲍克斯；沃尔特·福格勒 展开技术的最新进展。 （英语） Zbl 1360.68628号 西奥。计算。科学。 551, 84-101 (2014).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonet}等人，Theor。计算。科学。551，84-101（2014；Zbl 1360.68628） 全文： 内政部
维克托·科门科；安德烈·莫霍夫 一种直接构造完全合并进程的算法。 （英语） 兹比尔1330.68206 Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿670989-108（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}和\textit{A.Mokhov}，莱克特。票据计算。科学。6709,89--108（2011；Zbl 1330.68206） 全文： 内政部
维克托·科门科；马克·谢弗；沃尔特·福格勒；拉尔夫·沃洛夫斯基 STG分解策略与展开相结合。 （英语） Zbl 1183.68125号 学报信息。 46，第6期，433-474（2009）.MSC公司：68M99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，《学报》第46期，第6期，第433--474页（2009年；Zbl 1183.68125） 全文： 内政部
罗兰·梅耶；维克托·科门科；蒂姆·斯特拉兹尼 使用网络展开验证移动系统的实用方法。 （英语） Zbl 1143.68460号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。第29届国际会议，2008年PETRI NETS，2008年6月23日至27日，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062327-347（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人，Lect。票据计算。科学。5062327--347（2008年；Zbl 1143.68460） 全文： 内政部
托马斯·查泰恩；维克托·科门科 关于用于构造完全展开前缀的适当顺序的充分性。 （英语） 兹比尔1184.68344 信息处理。莱特。 104，第4129-136号（2007年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛T.Chatain｝和\textit｛V.Khomenko｝，Inf.过程。莱特。104，第4号，129--136（2007；Zbl 1184.68344） 全文： 内政部
维克托·科门科；马西耶·库特尼 使用整数规划验证有界Petri网。 （英语） Zbl 1112.68104号 形式方法系统。设计。 第2143-176号第30页（2007年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}和\textit{M.Koutny}，《形式方法系统》。设计。30，编号2143-176（2007年；兹bl 1112.68104） 全文： 内政部
维克托·科门科；亚历克斯·孔德拉提耶夫；马西耶·库特尼；沃尔特·福格勒 合并进程：Petri网行为的一种新的浓缩表示。 （英语） Zbl 1104.68072号 学报信息。 43，第5号，307-330（2006）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，《信息学报》第43期，第5期，第307--330页（2006年；Zbl 1104.68072） 全文： 内政部