伊戈尔·瓦勒维奇·塔拉修克;彼得·巴赫霍尔茨 流体当量的逻辑表征。 (英语) 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) 全文: 内政部
伊戈尔·瓦列列维奇·塔拉修克;彼得·巴赫霍尔茨 流体随机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公司
彼得·巴赫霍尔茨 精确性能等价:随机自动机的等价关系。 (英语) Zbl 0913.68141号 西奥。计算。科学。 215,编号1-2,263-287(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Buchholz},Theor。计算。科学。215,编号1--2,263--287(1999;Zbl 0913.68141) 全文: 内政部
彼得·巴赫霍尔茨 随机Petri网的等价概念。 (英语) Zbl 1496.68220号 De Michelis,Giorgio(编辑)等人,Petri网的应用和理论,1995年。第十六届国际会议,1995年6月26日至30日,意大利都灵。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。935, 161-180 (1995).MSC公司:68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz},莱克特。注释计算。科学。935161-180(1995年;Zbl 1496.68220) 全文: 内政部