维克托·科门科;马西耶·库特尼;亚历克斯·雅科夫列夫 避免控制流的Petri网模型中的指数爆炸。 （英语） Zbl 1499.68227号 Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 261-277 (2022).MSC公司：68问题85 65年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，Lect。注释计算。科学。13288、261--277（2022；Zbl 1499.68227） 全文： 内政部 链接
约翰逊·费尔南德斯;马西耶·库特尼;乌卡斯·米库尔斯基;Marta Pietkiewicz-Koutny;丹尼尔·索科洛夫;亚历克斯·雅科夫列夫 持续和非暴力步骤以及GALS系统的设计。 （英语） Zbl 1335.68168号 芬丹。通知。 137，第1期，143-170（2015）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fernandes}等人，Fundam。通知。137，第1号，143--170（2015；Zbl 1335.68168） 全文： 内政部
约翰逊·费尔南德斯;马西耶·库特尼;Marta Pietkiewicz-Koutny;丹尼尔·索科洛夫;亚历克斯·雅科夫列夫 GALS系统设计中的步骤持久性。 （英语） Zbl 1381.68200号 Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学讲座笔记7927190-209（2013）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fernandes}等人，Lect。注释计算。科学。7927190-209（2013年；Zbl 1381.68200） 全文： 内政部 链接
菲利普·达伦多;马西耶·库特尼;Marta Pietkiewicz-Koutny;亚历克斯·雅科夫列夫 具有分步触发策略的网络合成。 （英语） Zbl 1182.68139号 芬丹。通知。 94，第3-4号，275-303（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人，Fundam。通知。94，编号3--4，275--303（2009；Zbl 1182.68139） 全文： 内政部
丹尼尔·索科洛夫;伊万·波利亚科夫;亚历克斯·亚科列夫 静态数据流结构分析。 （英语） 兹比尔1167.68044 芬丹。通知。 88，第4号，581-610（2008）.MSC公司：68问题85 68问题55 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{D.Sokolov}等人，Fundam。通知。88，第4号，581--610（2008；Zbl 1167.68044）
菲利普·达伦多;马西耶·库特尼;Marta Pietkiewicz-Koutny;亚历克斯·雅科夫列夫 具有分步触发策略的网络合成。 （英语） Zbl 1143.68482号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062112-131（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人，Lect。注释计算。科学。5062112-131（2008年；Zbl 1143.68482） 全文： 内政部
戈戈尼奥，凯勒;乔迪·科尔塔德拉;夏，费;亚历克斯·雅科夫列夫 自动合成异步通信机制。 （英语） Zbl 1138.68320号 芬丹。通知。 78，第1号，75-100（2007）.MSC公司：68M10个 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Gorgónio}等人，Fundam。通知。78，第1号，75--100（2007；Zbl 1138.68320）
维克托·科门科;马西耶·库特尼;亚历克斯·雅科夫列夫 基于STG展开和增量SAT的异步电路逻辑综合。 （英语） Zbl 1095.68065号 芬丹。通知。 70，编号1-2，49-73（2006）.MSC公司：68问题85 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，Fundam。通知。70，编号1-2，49-73（2006年；兹bl 1095.68065）
维克托·科门科;马西耶·库特尼;亚历克斯·雅科夫列夫 使用SAT检测STG展开中的状态编码冲突。 （英语） Zbl 1082.68074号 芬丹。通知。 62，第2期，221-241（2004）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，Fundam。通知。62，第2号，221--241（2004；Zbl 1082.68074）
乔迪·科尔塔德拉（编辑）;亚历克斯·雅科夫列夫（编辑）;格列泽戈兹·罗森贝格（编辑） 并发和硬件设计。Petri网的进展。 （英语） Zbl 1011.00018号 计算机科学课堂讲稿. 2549. 柏林：斯普林格。xi，第343页（2002年）。MSC公司：00B15号机组 68-06 2007年7月68日 68问题85 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{J.Cortadella}（编辑）等人，《并发和硬件设计》。Petri网的进展。柏林：施普林格出版社（2002；Zbl 1011.00018） 全文： 内政部 链接
亚历克斯·雅科夫列夫;夏，费 面向异步通信算法的综合。 （英语） Zbl 1024.93035号 Caillaud，Benoît（编辑）等人，《离散事件系统的综合与控制》。波士顿：Kluwer学术出版社。57-75 (2002).MSC公司：93元65角 93亿B50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakovlev}和\textit{F.Xia}，in：离散事件系统的合成与控制。波士顿：Kluwer学术出版社。57-75（2002年；Zbl 1024.93035）
亚历克斯·雅科夫列夫（编辑）;路易斯·戈麦斯（编辑）;卢西亚诺·拉瓦尼奥（编辑） 硬件设计和Petri网。 （英语） Zbl 0933.68002号 波士顿：Kluwer学术出版社。xi，331页（2000年）。MSC公司：68-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakovlev}（编辑）等人，《硬件设计和Petri网》。波士顿：Kluwer学术出版社（2000；Zbl 0933.68002）
沃尔特·福格勒;亚历克斯·塞梅诺夫;亚历克斯·雅科夫列夫 具有读弧的网络的展开和有限前缀。 （英语） Zbl 0940.68096号 Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 501-516 (1998).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}等人，Lect。注释计算。科学。1466501--516（1998年；Zbl 0940.68096）