伊戈尔·瓦列列维奇·塔拉修克 离散时间随机确定性Petri盒演算dtsdPBC。 (英语) Zbl 1448.68352号 同胞。È勒克特隆。Mat.Izv公司。 17, 1598-1679 (2020).MSC公司:68问题85 68问题55 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk},Sib。È勒克特隆。Mat.Izv公司。17、1598--1679(2020;Zbl 1448.68352) 全文: 内政部
伊戈尔·瓦勒维奇·塔拉修克;彼得·布霍尔茨 流体当量的逻辑表征。 (英语) Zbl 1420.68148号 同胞。È勒克特隆。Mat.Izv公司。 16, 826-862 (2019).MSC公司:68问题85 03B45 03B70号 60J27型 60 K15 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}和\textit{P.Buchholz},Sib。È勒克特隆。Mat.Izv公司。16826-862(2019年;Zbl 1420.68148) 全文: 内政部
伊戈尔·瓦勒维奇·塔拉修克;赫梅内吉尔达·马西·索勒;瓦伦蒂安·瓦莱罗·鲁伊斯 dtsiPBC并发系统性能分析的随机等价性。 (英语) Zbl 1414.60062号 同胞。È勒克特隆。Mat.Izv公司。 15, 1743-1812 (2018).MSC公司:60J20型 60J10型 60 K15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}等人,Sib。È勒克特隆。Mat.Izv公司。151743-1812(2018年;Zbl 1414.60062) 全文: 内政部 arXiv公司
伊戈尔·瓦列列维奇·塔拉修克;彼得·巴赫霍尔茨 流体随机Petri网的等价性。 (英语) Zbl 1373.68299号 同胞。È勒克特隆。Mat.Izv公司。 14, 317-366 (2017).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Tarasyuk}和\textit{P.Buchholz},Sib。È勒克特隆。Mat.Izv公司。14、317--366(2017;Zbl 1373.68299) 全文: 内政部 arXiv公司