×

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

在数据处理系统的设计中使用Petri网。(Ispol’zovanie setej Petri pri proektirovanii sistem obrabotki dannykh) (俄语) 兹比尔0734.68069

莫斯科:瑙卡。104 p.R.0.50(1988年)。
PDF格式BibTeX公司 XML格式引用

数字控制技术中的Petri网。(Petri-Netze in der Steuerungs-und Digitaltechnik.) (德语) Zbl 0796.68164号

慕尼黑等:奥尔登堡。柏林(GDR):Verl。Technik,199 p.(1988)。
PDF格式BibTeX公司 XML格式引用

Petri-Netz-Methoden和Werkzeuge。Hilfsmittel zur Entwurfsspezifikation und-验证von Rechensystemen。 (德语) Zbl 0681.68003号

信息-Fachberichte, 197. 柏林等:Springer-Verlag。十二、 第254页(1988年)。
审核人:M.Jantzen先生
PDF格式BibTeX公司 XML格式引用

异步电路中过程的规范和分析模型。 (英语。俄文原件) Zbl 0727.68083号

Sov公司。J.计算。系统。科学。 26,第5号,61-76(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年,第2期,171-190(1988)。
PDF格式BibTeX公司 XML格式引用

带有多色标记的Petri网。 (英语。俄文原件) Zbl 0727.68079号

Sov公司。J.计算。系统。科学。 26,第4号,34-40(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第6期,第101-107页(1987年)。
MSC公司:68问题85 68兰特
PDF格式BibTeX公司 XML格式引用

并行处理。IFIP工作组10.3工作会议记录,意大利比萨,1988年4月25日至27日。 (英文) Zbl 0668.68007号

阿姆斯特丹等地:荷兰北部。二十、 390页;$94.75; 英国国防部。180.00 (1988).
审核人:一、温德
PDF格式BibTeX公司 XML格式引用

逻辑控制并行算法的正确性。 (英语。俄文原件) Zbl 0692.68014号

Sov公司。J.计算。系统。科学。 26,第1号,109-114(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第4期,第106-112页(1987年)。
PDF格式BibTeX公司 XML格式引用

Petri网在计算机间歇性故障检测和定位建模中的应用。 (英语。俄文原件) Zbl 0691.68073号

自动。远程控制 49,第9期,1198-1204(1988); Avtom翻译。Telemekh公司。1988年,第9期,第111-118页(1988年)。
MSC公司:68问题85 68N99型 68平方英寸
PDF格式BibTeX公司 XML格式引用

Petri网的自动机解释。 (英语。俄文原件) Zbl 0691.68059号

Sov公司。J.计算。系统。科学。 26,第3期,66-77页(1988年); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,151-163(1987)。
PDF格式BibTeX公司 XML格式引用

有色Petri网的矩阵规范和分析。 (英语。俄文原件) Zbl 0683.68051号

Sov公司。J.计算。系统。科学。 26, 77-80 (1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,164-167(1987)。
MSC公司:68问题85 第68页第25页 68平方英寸
PDF格式BibTeX公司 XML格式引用

解释Petri网的逻辑推理。 (英语。俄文原件) Zbl 0676.03018号

Sov公司。J.计算。系统。科学。 26,第3期,98-105(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,187-195(1987)。
PDF格式BibTeX公司 XML格式引用

在调试期间使用Petri网定位软件错误。 (英语。俄文原件) Zbl 0664.68016号

自动。远程控制 49,第5号,680-689(1988); Avtom翻译。Telemekh公司。1988年,第5期,165-177(1988)。
MSC公司:68号01 68问题85
PDF格式BibTeX公司 XML格式引用

并行逻辑控制算法的分解。 (英语。俄文原件) Zbl 0651.68025号

自动。控制计算。科学。 22,第1号,6-11(1988); Avtom翻译。维奇尔。泰克。1988年,第1期,8-13(1988)。
PDF格式BibTeX公司 XML格式引用

APN 88。Petri网的进展1988。1987年6月在西班牙萨拉戈萨举行的第八届欧洲Petri网应用和理论研讨会。 (英文) Zbl 0658.00014号

计算机科学课堂讲稿340.柏林等:斯普林格·弗拉格。六、 第439页(1988年)。
MSC公司:00B25型 68-06
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非连续过程。一个Petri网视图。 (英文) Zbl 0656.68005号

EATCS理论计算机科学专著, 13. 柏林等:Springer-Verlag。八、 112页。;48.00德国马克(1988年)。
审核人:C.马萨拉吉
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号