刘,杨;苗、淮口;曾红伟;马,燕;刘,潘 非确定性概率Petri网——一种研究系统定性和定量行为的新方法。 (英语) 兹比尔1280.68138 J.计算。科学。Technol公司。 28,第1期,203-216(2013).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,J.Compute。科学。Technol公司。28,第1号,203--216(2013;Zbl 1280.68138) 全文: 内政部
周国富;袁崇义 将PUNITY映射到UniNet。 (英语) Zbl 1100.68593号 J.计算。科学。Technol公司。 18,第3期,378-387(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zhou}和\textit{C.Yuan},J.Comput。科学。Technol公司。18,第3号,378--387(2003;Zbl 1100.68593) 全文: 内政部
于健;王胜元;袁崇义 使用OMNets解决继承异常。 (英语) Zbl 1004.68119号 J.计算。科学。Technol公司。 17,第1期,101-105(2002).MSC公司:68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Yu}等人,J.Compute。科学。Technol公司。17,第1号,101--105(2002;Zbl 1004.68119) 全文: 内政部
王胜元;于健;袁崇义 基于状态和动作的语用行为子类型关系。 (英语) Zbl 1010.68096号 J.计算。科学。Technol公司。 16,第5期,418-425(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,J.Compute。科学。Technol公司。16,第5号,418--425(2001;Zbl 1010.68096) 全文: 内政部
李宣东 用线性规划验证时间Petri网。 (英语) Zbl 0974.68140号 J.计算。科学。Technol公司。 16,第1期,39-46(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Li},J.计算。科学。Technol公司。16,第1号,39-46(2001年;兹bl 0974.68140) 全文: 内政部
罗俊洲;顾冠群 制造环境的信息系统设计。 (英语) Zbl 0920.68095号 J.计算。科学。Technol公司。 13,补遗,131-137(1998).MSC公司:68问题85 68页99 PDF格式BibTeX公司 XML格式引用 \textit{J.Luo}和\textit{G.Gu},J.Compute。科学。Technol公司。13、131--137(1998年;Zbl 0920.68095) 全文: 内政部
袁崇义 网络系统中的S-和T-不变量。 (英语) Zbl 0837.68079号 J.计算。科学。Technol公司。 10,第3期,239-252(1995).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Yuan},J.计算。科学。Technol公司。10,第3号,239--252(1995;Zbl 0837.68079) 全文: 内政部
蒋长军;吴哲辉 净运营。 (英语) Zbl 0821.68089号 J.计算。科学。Technol公司。 7,第4期,333-344(1992).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Jiang}和\textit{Z.Wu},J.Compute。科学。Technol公司。7,编号4333-344(1992年;兹bl 0821.68089) 全文: 内政部
赵旭东;冯玉林 并发系统的自动分层验证。 (英语) Zbl 0725.68044号 J.计算。科学。Technol公司。 5,第3期,241-249(1990).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{Y.Feng},J.Compute。科学。Technol公司。5,第3号,241--249(1990;Zbl 0725.68044) 全文: 内政部