×

找到51个文档(结果1-51)

使用操作图描述和分析并行逻辑控制算法。 (英语。俄文原件) Zbl 0797.68070号

自动化。远程控制 第51期,第1期,第82-88页(1990年); 来自Avtom的翻译。Telemekh公司。1990年,第1期,100-108(1990年)。
MSC公司:68宽15 第68季度85
PDF格式BibTeX公司 XML格式引用

并行计算过程的正确性。编辑:N.N.Mirenkov。(Korrektnost“平行”ykh vychislitel“ykh protessov。) (俄语) Zbl 0783.68006号

新西伯利亚:瑙卡。第253页(1990年)。
PDF格式BibTeX公司 XML格式引用

Petri网、并行算法和多处理器系统模型。(Seti Petri,并行‘ye算法i modeli multi’tiprotsosornykh sism) (俄语) Zbl 0784.68062号

基辅:Naukova Dumka。215页(1990年)。
PDF格式BibTeX公司 XML格式引用

工程师用Petri网。离散控制系统的建模和分析。(Petri-Netze für Ingenieure,Modellbildung and Analyse diskret gesteuerter Systeme) (德语) Zbl 0755.68111号

柏林等:Springer-Verlag。八、 第130页(1990年)。
PDF格式BibTeX公司 XML格式引用

分析von Petri-Netz-Modellen。(Petri网模型分析)。 (德语) Zbl 0724.68002号

Leitfäden und Monographien der Informatik公司。斯图加特:B.G.Teubner。第253页(1990年)。
PDF格式BibTeX公司 XML格式引用

1990年开始。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。 (英语) Zbl 0746.68005号

计算机科学课堂讲稿458.柏林等:斯普林格·弗拉格。七、 第536页(1990年)。
PDF格式BibTeX公司 XML格式引用

并发的语义。BCS-FACS国际研讨会论文集,由Logic for IT(S.E.R.C.)主办,1990年7月23日至25日,英国莱斯特大学。 (英语) Zbl 0711.68004号

计算机研讨会。柏林等:Springer-Verlag。VIII、 346 DM 72.00页(1990年)。
审核人:R.Janicki公司
PDF格式BibTeX公司 XML格式引用

高级信息处理。联合研讨会,莫斯科,苏联,1990年6月5/6日。诉讼程序。 (英语) Zbl 0820.68009号

柏林等:Springer-Verlag。十一、 第397页(1990年)。
PDF格式BibTeX公司 XML格式引用

1989年Petri网进展。第九届Petri网应用和理论欧洲研讨会,1988年6月,意大利威尼斯。诉讼程序。 (英语) Zbl 0745.68016号

计算机科学课堂讲稿柏林等地:斯普林格·弗拉格。六、 第524页(1990年)。
MSC公司:68-06 第68季度85
PDF格式BibTeX公司 XML格式引用

用改进的Petri网络语言进行诊断模拟。 (英语。俄文原件) 兹比尔0727.68081

苏联。J.计算。系统。科学。 28,第1期,101-108(1990); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1989年,第3期,第115-122页(1989年)。
MSC公司:第68季度85 94C12年
PDF格式BibTeX公司 XML格式引用

分布式终止问题:基于Petri网的形式化求解和正确性。 (英语) Zbl 0735.68006号

理论计算机科学方面和前景,Proc。第六届国际会议。Young计算公司。科学。,Smolence/捷克。1990年,法律。注释计算。科学。464, 159-168 (1990).
MSC公司:68米10 第68季度85
PDF格式BibTeX公司 XML格式引用

时间Petri网:分类和比较分析。 (英语。俄文原件) Zbl 0800.68598号

自动化。远程控制 51,编号10,1303-1318(1990); 来自Avtom的翻译。Telemekh公司。1990年,第10号,3-21(1990)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

软件