Zybarev,E.Yu。;于兹巴列夫。M。 Petri网是一种离散系统规范语言。 (俄语) Zbl 0903.68133号 维奇尔。修女。 152, 95-118 (1995).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Yu.Zybarev}和\textit{Yu.M.Zybarev},Vychils。修女。152、95-118(1995年;Zbl 0903.68133)
科托夫,V.E。;洛杉矶切尔卡索娃。 连接网络和逻辑方法来描述过程。 (俄语) Zbl 0664.03027号 维奇尔。修女。 122, 97-109 (1987). 审核人:S.V.索洛维耶夫 MSC公司:03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Kotov}和\textit{L.A.Cherkasova},Vychils。修女。122、97--109(1987年;Zbl 0664.03027)
科托夫,V.E。;洛杉矶切尔卡索娃。 Petri网命题时态逻辑的不确定性。 (俄语) Zbl 0614.68046号 维奇尔。修女。 107, 124-136 (1985). 审核人:J.兹拉图斯卡 MSC公司:68问题85 03B70号 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Kotov}和\textit{L.A.Cherkasova},Vychils。修女。107、124--136(1985年;Zbl 0614.68046)
布迪纳斯,B.L。 Petri网的瞬时性和自由语言的正则性。 (俄语) 兹比尔062468051 维奇尔。修女。 104, 75-86 (1984). 审核人:E.伊勒 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.L.Budinas},Vychils。修女。104、75-86(1984年;Zbl 0624.68051)
阿尼舍夫,P.A。 关于平行图形模式的决定论。 (俄语) Zbl 0418.68055号 维奇尔。修女。 73, 40-52 (1978).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Anishev},维奇尔。修女。73、40-52(1978年;Zbl 0418.68055)