沃特曼,D.A。(编辑);弗雷德里克·海斯·罗斯(编辑) [沃特曼,D.A。;海耶斯·罗特,F。;Lenat,D.B。;哈里斯,G。;医学博士齐斯曼。;理查德·O·杜达。;哈特,体育。;新泽西州尼尔森。;萨瑟兰,G.L。;南卡罗来纳州维尔。;祖克,S.W。] 模式定向推理系统。工作坊,夏威夷檀香山,1977年。 (英语) Zbl 0441.68096号 纽约-旧金山-伦敦:学术出版社,Harcourt Brace Jovanovich的子公司,出版商。十四、 第658页,41.00美元(1978年)。MSC公司:68T99型 68-06 00亿Bxx 68T05型 68问题85 68岁20岁 PDF格式BibTeX公司 XML格式
P.H.斯塔克。 彼得里·内泽。 (德语) Zbl 0438.68022号 ZKI-信息编号3。柏林:Zentralinstitut für Kybernetik und Informationsprozesse der Akademie der Wissenschaften der DDR。88 S.(1978)。MSC公司:68问题85 65年第68季度 2005年第68季度 68-01 68-02 PDF格式BibTeX公司 XML格式
梅米,G。 Fuites et grapesáchoix non-infective dans les réseaux de Petri公司。 (法语) Zbl 0424.68033号 程序转换,Proc。第三国际交响乐团。程序。,巴黎,1978年,95-109(1978)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式
阿尼舍夫,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)
罗丁,迪特;沃尔伯加·罗丁 [Hansjürgen,Brämik;汉斯·克莱恩·勃宁;普里塞·卢茨] 有限自动机网络。 (英语) Zbl 0416.68050号 掠夺。赛博。系统。研究,第三卷,交响乐。维也纳,139-158(1978)。MSC公司:65年第68季度 68问题85 68问题80 PDF格式BibTeX公司 XML格式
吕迪格·瓦尔克 自修改网是Petri网的自然扩展。 (英语) Zbl 0415.68025号 自动化,语言和编程,第五大学,尤丁,1978年,莱克托。注释计算。科学。62, 464-476 (1978).MSC公司:68问题85 PDF格式BibTeX公司 XML格式
雷纳·普里诺思 Starke Färbarkeit在Petri-Netzen。 (英语) Zbl 0412.68048号 Ber.公司。格式。数学。日期nverab。,波恩117,85 S.(1978)。MSC公司:68问题85 05C15号 94C15号机组 PDF格式BibTeX公司 XML格式
彼得·斯塔克。 自由Petri网语言。 (英语) Zbl 0408.68065号 研讨会。,洪堡大学(Sekt.Berlin)。数学。 7、41 S.(1978年).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},研讨会。,洪堡大学(Sekt.Berlin)。数学。7、41 S.(1978;Zbl 0408.68065)
瓦莱特,R。;M·迪亚兹。 并行控制系统的自上而下的正式规范和验证。 (英语) Zbl 0403.68061号 数字化进程 4, 181-199 (1978).MSC公司:68问题85 68N25号 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Valette}和\textit{M.Diaz},《数字过程》1811-199(1978年;Zbl 0403.68061)
莱因哈德·德思 并行Bearbeitung von Prozessen。 (德语) Zbl 0402.68024号 罗斯托克数学。科洛克。 8, 123-134 (1978).MSC公司:68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Deth},罗斯托克数学。科洛克。8123--134(1978;Zbl 0402.68024)
吕迪格·瓦尔克 关于扩展Petri网的计算能力。 (英语) Zbl 0394.68044号 数学。已找到。计算。科学。1978年,程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 526-535 (1978).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式
梅米,G。 佩特里学院。 (法语) Zbl 0394.68043号 RAIRO,Inf.Théor公司。 12, 125-144 (1978).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Memmi},RAIRO,Inf.Théor。12、125——144(1978年;Zbl 0394.68043) 全文: 欧洲DML
凯瑟琳·贝伦;香塔尔·罗巴赫;克里斯蒂安·库比亚克 在面板检测过程中对分布系统进行建模。 (法语) Zbl 0393.94034号 安·特勒公社。 33, 383-395 (1978).MSC公司:94立方厘米10 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{C.Bellon}等人,Ann.Télécommunin。33、383--395(1978年;Zbl 0393.94034)
弗兰茨·皮克勒 Einige Anwendungen老年人数学系统论中的图形。 (德语) Zbl 0393.68053号 日期指示。,图形,算法。;3.面罩。graphentheor或。康茨。Inf.,Linz 1977,17-36(1978)。MSC公司:65年第68季度 68问题85 94C15号机组 93A10号 PDF格式BibTeX公司 XML格式
迈克尔·希弗斯;霍斯特·韦德 分析协调问题的程序解决方案。 (英语) Zbl 0392.68015号 数学。已找到。计算。科学。1978年,程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 462-473 (1978).MSC公司:68N25号 68问题85 PDF格式BibTeX公司 XML格式
彼得·斯塔克。 自由Petri网语言。 (英语) Zbl 0391.68038号 数学。已找到。计算。科学。1978年,程序。第七交响曲。勒克特,扎科帕内。注释计算。科学。64, 506-515 (1978).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式
约瑟夫·西法基斯 Petri网的结构性质。 (英语) 兹伯利0381.6056 数学。已找到。计算。科学。1978年,程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 474-483 (1978). 审核人:约瑟夫·西法基斯 MSC公司:68问题85 PDF格式BibTeX公司 XML格式 全文: 内政部