马里奥·达尔辛 Programmierung中的Grundlagen der systemna。(系统编程基础)。 (德语) Zbl 0746.68004号 Leitfäden und Monographien der Informatik公司。斯图加特:图布纳。221页(1988年)。 审核人:F.兹布罗格(马格德堡) MSC公司:68-02 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Dal Cin},Grundlagen der systemnahen Programmierung。(系统编程基础)。斯图加特:Teubner(1988;Zbl 0746.68004)
布迪纳斯,B.L。 Petri网可达性问题的可判定性。 (英语。俄文原件) Zbl 0795.68147号 自动。远程控制 49,第11期,1393-1422(1988); Avtom翻译。Telemekh公司。1988年,第11期,第3-39页(1988年)。MSC公司:68问题85 68兰特 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.L.Budinas},自动。遥控器49,No.11,1393-1422(1988;Zbl 0795.68147);Avtom翻译。Telemekh公司。1988年,第11期,第3--39期(1988年)
马米科诺夫,A.G。;杰诺斯·德梅特罗维奇;V.V.库勒巴。;科努特(Elöd Knuth);E.B.索科洛娃。;F.乌尔班斯基。 在数据处理系统的设计中使用Petri网。(Ispol’zovanie setej Petri pri proektirovanii sistem obrabotki dannykh) (俄语) 兹比尔0734.68069 莫斯科:瑙卡。104 p.R.0.50(1988年)。MSC公司:68问题85 68-02 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Mamikonov}等人,Ispol'zovanie setej Petri pri proektirovanii sistem obrabotki dannykh(俄语)。莫斯科:瑙卡(1988;Zbl 0734.68069)
雷纳·科尼格;洛塔尔·库克 数字控制技术中的Petri网。(Petri-Netze in der Steuerungs-und Digitaltechnik.) (德语) Zbl 0796.68164号 慕尼黑等:奥尔登堡。柏林(GDR):Verl。Technik,199 p.(1988)。 审核人:G.霍曼(魏玛) MSC公司:68问题85 93元62角 05C90年 68-01 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.König}和\textit{L.Quäck},Petri-Netze in der Steuerungs-und Digitaltechnik。慕尼黑等:奥尔登堡;柏林(德国):Verl。Technik(1988;Zbl 0796.68164)
M.莱斯扎克。;艾格特,H。 Petri-Netz-Methoden和Werkzeuge。Hilfsmittel zur Entwurfsspezifikation und-验证von Rechensystemen。 (德语) Zbl 0681.68003号 信息-Fachberichte, 197. 柏林等:Springer-Verlag。十二、 第254页(1988年)。 审核人:M.Jantzen先生 MSC公司:68-02 68N99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Leszak}和\textit{H.Eggert},Petri-Netz-Methoden und-Werkzeuge。Hilfsmittel zur Entwurfsspezifikation und-验证von Rechensystemen。柏林等:Springer-Verlag(1988;Zbl 0681.68003)
瓦尔沙夫斯基,V.I。;Kishinevskij,医学硕士。;Kondrat'ev,A.Yu。;罗森布利姆,L.Ya。;A.R.陶宾。 异步电路中过程的规范和分析模型。 (英语。俄文原件) Zbl 0727.68083号 Sov公司。J.计算。系统。科学。 26,第5号,61-76(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年,第2期,171-190(1988)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Varshavskij}等人,Sov。J.计算。系统。科学。26,No.5,61--76(1988;Zbl 0727.68083);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1988年,第2期,171--190(1988)
马卡洛夫,I.M。;纳扎列托夫(V.M.Nazaretov)。;A.V.库勒巴。;A.R.什维佐夫。 带有多色标记的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格式引用 \textit{I.M.Makarov}等人,Sov。J.计算。系统。科学。26,第4号,34--40(1988;Zbl 0727.68079);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第6期,101--107(1987)
约瑟夫·吉尔马耶 用近完全分解的概念分析随机Petri网。 (英文) Zbl 0727.68077号 信息论,统计决策函数,随机过程,Trans。第十届布拉格大会,布拉格/捷克。1986年,A卷,337-344(1988)。MSC公司:68问题85 93E03型 PDF格式BibTeX公司 XML格式
彼得·斯塔克。 Petri-Netzen建模师。(用Petri网建模)。 (德语) Zbl 0725.68077号 安理大学。布达普。罗兰多·Eötvös,Sect。计算。 9, 201-226 (1988).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},安理工大学。布达普。罗兰多·Eötvös,Sect。计算。9201--226(1988;Zbl 0725.68077)
柯林,S。;塔布什,我。 并发过程控制设计的模型和方法。 (罗马尼亚语。英文摘要) Zbl 0719.68049号 灯泡。政治学会。布库。,序列号。自动。计算。 50, 19-28 (1988).MSC公司:68问题85 65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Célin}和\textit{I.Tébuš},布尔。政治学会。Bucur.公司。,序列号。自动。计算值50,19-28(1988;Zbl 0719.68049)
柯林,S。 由Petri网模型产生的一种命题逻辑。 (罗马尼亚语。英文摘要) Zbl 0719.68048号 灯泡。政治学会。布库。,序列号。自动。计算。 50, 3-12 (1988).MSC公司:68问题85 03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Clin},布尔。政治学会。Bucur.公司。,序列号。自动。计算值50,3--12(1988;Zbl 0719.68048)
米歇尔·科斯纳德(编辑);迈克尔·巴顿。(编辑);马可·范内斯基(编辑) 并行处理。IFIP工作组10.3工作会议记录,意大利比萨,1988年4月25日至27日。 (英文) Zbl 0668.68007号 阿姆斯特丹等地:荷兰北部。二十、 390页;$94.75; 英国国防部。180.00 (1988). 审核人:一、温德 MSC公司:68-06 68N99型 第68页第25页 2005年5月 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cosnard}(编辑)等人,《并行处理》。IFIP工作组10.3工作会议记录,意大利比萨,1988年4月25日至27日。阿姆斯特丹等:北荷兰(1988;Zbl 0668.68007)
贝里科夫,V.K。;亚·鲁特纳。F、。 着色Petri网和矩阵方法。 (英语。俄文原件) Zbl 0692.68052号 程序。计算。软件 14,第3期,第120-124页(1988年); 译自Programmirovanie 1988,第3期,23-28(1988)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Belikov}和\textit{Ya.F.Rutner},项目。计算。柔和。14,第3号,120-124(1988;Zbl 0692.68052);译自Programmirovanie 1988,No.3,23--28(1988)
扎克列夫斯基。 逻辑控制并行算法的正确性。 (英语。俄文原件) Zbl 0692.68014号 Sov公司。J.计算。系统。科学。 26,第1号,109-114(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第4期,第106-112页(1987年)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Zakrevskij},苏联。J.计算。系统。科学。26,No.1,109--114(1988;Zbl 0692.68014);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第4期,106-112(1987)
克拉斯诺巴耶夫。;克拉斯诺巴耶夫,洛杉矶。 Petri网在计算机间歇性故障检测和定位建模中的应用。 (英语。俄文原件) Zbl 0691.68073号 自动。远程控制 49,第9期,1198-1204(1988); Avtom翻译。Telemekh公司。1988年,第9期,第111-118页(1988年)。MSC公司:68问题85 68N99型 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Krasnobaev}和\textit{L.A.Klasnobaev},汽车。遥控器49,No.9,1198--1204(1988;Zbl 0691.68073);Avtom翻译。Telemekh公司。1988年,第9期,111--118(1988)
V.Yu,Kirillov。 Petri网的自动机解释。 (英语。俄文原件) Zbl 0691.68059号 Sov公司。J.计算。系统。科学。 26,第3期,66-77页(1988年); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,151-163(1987)。MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Yu.Kirillov},Sov(苏联)。J.计算。系统。科学。26,第3号,66--77(1988;Zbl 0691.68059);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,151--163(1987)
埃里克·科内利斯 佩特里颜色的réseaux de Petri colorés简介。(彩色Petri网的翻译)。 (法语) Zbl 0689.68083号 美国科学院。塞勒·布鲁克塞勒斯。我 102,第4期,121-140(1988).MSC公司:68问题85 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{E.Cornelis},Ann.社会科学。布鲁克斯。,Sér。I 102,编号4,121--140(1988;Zbl 0689.68083)
Ţ伊普利亚,F。;Jucan,T。;马萨拉尤,C。 术语重写系统和P/T网。 (英文) Zbl 0688.68062号 安提斯币。Al.I.Cuza IașI大学,N.Ser。,第ț节。国际航空公司 34,第4号,305-317(1988).MSC公司:68问题85 03年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ţiplea}等人,An.Științ。Al.I.Cuza IașI大学,N.Ser。,第ț节。Ia 34,第4号,305-317(1988;Zbl 0688.68062)
贝里科夫,V.K。;亚·鲁特纳。F、。 有色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格式引用 \textit{V.K.Belikov}和\textit{Ya.F.Rutner},Sov。J.计算。系统。科学。26、77——80(1988年;Zbl 0683.68051);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,164--167(1987)
Z.巴纳扎克。;E.罗斯科夫斯卡。 管道并发进程中的死锁避免。 (英文) Zbl 0683.68050号 波德斯特维·斯特罗瓦尼亚 18,编号1-2,3-17(1988).MSC公司:68问题85 第68页第25页 68平方米 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{Z.Banaszak}和\textit{E.Roszkowska},波德斯塔维·斯特洛瓦尼亚18号,第1-2,3-17号(1988年;Zbl 0683.68050)
芬克尔,A。;路易斯·罗西尔(Louis E.Rosier)。 关于fifo网类可判定性问题的调查。 (英文) Zbl 0681.68079号 Petri网进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。注释计算。科学。340, 106-132 (1988).MSC公司:68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式
兹比格涅夫·巴纳扎克 面向控制的进程间协作模型。 (英文) Zbl 0679.68040号 系统。科学。 第14页,第2期,31-59页(1988年).MSC公司:第68页第25页 第68季度第65季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Banaszak},系统。科学。14,No.2,31-59(1988;Zbl 0679.68040)
兹比格涅夫·巴纳扎克;阿卜杜勒·胡辛、莫瓦瓦克·哈桑 自动实时程序合成的Petri网方法。 (英文) Zbl 0679.68019号 控制网络。 17,第4期,361-375(1988).MSC公司:60年第68季度 第68页第25页 68问题85 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Banaszak}和\textit{M.H.Abdul-Hussin},控制网络。17,No.4,361--375(1988;Zbl 0679.68019)
沃尔夫冈·雷西格 并发比交错更基本。 (英文) Zbl 0678.68083号 牛市。EATCS公司 351181-184(1988年). 审核人:J.-J.Ch.梅耶 MSC公司:68问题55 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig},公牛。EATCS 35,181--184(1988;Zbl 0678.68083)
G.布多尔。;卡斯特拉尼,I。 并发性和原子性。 (英文) Zbl 0678.68078号 西奥。计算。科学。 59,编号1-2,25-84(1988). 审核人:J.-J.Ch.梅耶 MSC公司:68问题55 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani},Theor。计算。科学。59,编号1--2,25-84(1988;Zbl 0678.68078) 全文: 内政部 链接
北卡罗来纳州维斯瓦纳达姆。;Y.纳拉哈里。 自动化制造系统性能评估的随机Petri网模型。 (英文) Zbl 0677.68119号 Inf.Decis公司。Technol公司。 14,第2期,125-142(1988).MSC公司:68平方英寸 90B22型 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{N.Viswanadham}和\textit{Y.Narahari},Inf.Decis。Technol公司。14,No.2,125--142(1988;Zbl 0677.68119)
安东尼·马祖基维奇 纯位置/转换系统的组合语义。 (英文) Zbl 0676.68030号 Petri网进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。注释计算。科学。340, 307-330 (1988). 审核人:F.-L.提普利亚 MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式
瓦金,V.N。;扎哈罗夫,V.N。;罗森布利姆,L.Ya。 解释Petri网的逻辑推理。 (英语。俄文原件) Zbl 0676.03018号 Sov公司。J.计算。系统。科学。 26,第3期,98-105(1988); Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,187-195(1987)。MSC公司:03B60号 68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Vagin}等人,Sov。J.计算。系统。科学。26,第3号,98--105(1988;Zbl 0676.03018);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1987年,第5期,187--195(1987)
J.马戈特。 算法的计算复杂性和所选Petri网类的最小循环时间问题。 (波兰语) Zbl 0675.68028号 架构(architecture)。自动。远程机械。 33,第1期,131-145(1988). 审核人:M.Kratko先生 MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Magott},拱门。自动。远程技术。33,第1号,131--145(1988;Zbl 0675.68028)
O.L.班德曼。;皮斯库诺夫,S.V。 并行微程序设计是多微处理器系统的一种工具。 (英文) Zbl 0674.68043号 元胞自动机和阵列的并行处理。第四届国际研讨会,帕切拉,柏林,1988,数学。第48号决议、第57-72号决议(1988年)。 审核人:M.Vajter=原文 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式
阿斯特丽德·基恩 无限部分Petri网语言及其与其他Petri网语义的关系。 (英文) Zbl 0671.68028号 Petri网进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。注释计算。科学。340, 227-248 (1988). 审核人:L.斯泰格 MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
D.阿贝尔。 Peri Netzen的建模和分析磁盘管理系统。(使用Petri网对离散受控系统进行建模和分析)。 (德语) Zbl 0669.93052号 自动化控制技术 36,第12期,455-462(1988).MSC公司:93C55美元 68兰特 94C15号机组 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Abel},Automatisierungstechnik 36,No.12,455--462(1988;Zbl 0669.93052) 全文: 内政部
米科·托萨宁 使用Petri网建模自定时电路时的一些未解决问题。 (英文) Zbl 0669.68046号 牛市。EATCS公司 36, 152-160 (1988). 审核人:F.认罪 MSC公司:68问题85 第68季度第65季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tiusanen},公牛。EATCS 36,152--160(1988;Zbl 0669.68046)
Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。 关于无冲突Petri网的公平性和时序逻辑问题。 (英文) Zbl 0669.68044号 Petri网研究进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。笔记。计算。科学。340, 200-226 (1988). 审核人:M.Jantzen先生 MSC公司:68问题85 03B60号 PDF格式BibTeX公司 XML格式
巴蒂斯顿,E。;德辛迪奥,F。;G·莫里。 OBJSA网:一类将对象作为域的高级网。 (英文) Zbl 0668.68068号 Petri网研究进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。注释计算。科学。340, 20-43 (1988).MSC公司:68问题85 68第05页 70年第68季度 PDF格式BibTeX公司 XML格式
Das,Sejal K。;维诺德·阿格拉瓦尔。;迪利普·萨尔卡;Lalit M.帕特奈克。 保持不变的Petri网约简和不变存在的条件。 (英文) 兹比尔0668.68067 计算。选举人。工程师。 14,编号3-4,75-91(1988).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Das}等人,计算。选举人。工程14,编号3--4,75-91(1988;Zbl 0668.68067) 全文: 内政部
马林·波帕 Petri网和语言。 (罗马尼亚语。英文摘要) Zbl 0667.68072号 语言,逻辑,数学语言学,Pap。第10届国家。Colloq.,Brašov/Rom.1988,183-191(1988)。MSC公司:68问题85 65年第68季度 90B10型 PDF格式BibTeX公司 XML格式
兰伯特,J.L。 Petri网可达性问题的可判定性的一些结果。 (英文) Zbl 0667.68070号 Petri网进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。注释计算。科学。340, 266-282 (1988).MSC公司:68问题85 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式
J.卡利尔。;克雷蒂恩,P。 定时Petri网计划。 (英文) 兹比尔0667.68051 Petri网进展,APN,Proc。第八届欧洲研讨会,萨拉戈萨/西班牙,1987年,Lect。注释计算。科学。340, 62-84 (1988).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式
阿斯特里德·基恩 关于Petri网的同步和非同步行为之间的相互关系。 (英文) Zbl 0664.68060号 J.信息处理。赛博。 24,编号1-2,3-18(1988). 审核人:D.克里斯蒂 MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Kiehn},J.Inf.过程。赛博。24,编号1--2,3--18(1988;Zbl 0664.68060)
科西亚琴科,S.A。;V.V.库勒巴。;马米科诺夫,A.G。;E.B.索科洛娃。 在调试期间使用Petri网定位软件错误。 (英语。俄文原件) Zbl 0664.68016号 自动。远程控制 49,第5号,680-689(1988); Avtom翻译。Telemekh公司。1988年,第5期,165-177(1988)。MSC公司:68号01 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Kosyachenko}等人,《汽车》。遥控器49,No.5,680--689(1988;Zbl 0664.68016);Avtom翻译。Telemekh公司。1988年,第5期,165--177(1988)
萨哈,巴纳尼;苏北Bandyopadhyay Petri网的实现:一种系统理论方法。 (英文) Zbl 0663.93015号 国际期刊系统。科学。 19,第11号,2407-2417(1988). 审核人:B.萨哈 MSC公司:93B15号机组 68兰特 93B30型 93立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{B.Saha}和\textit{S.Bandyopadhyay},国际期刊系统。科学。19,第11号,2407--2417(1988;Zbl 0663.93015) 全文: 内政部
尤尼斯·苏伊西;尼古拉斯·贝尔迪卡努 顺序过程的决定论系统:理论和工具。 (英文) Zbl 0663.68074号 Concurrency’88,程序。国际会议,汉堡/FRG 1988,Lect。注释计算。科学。335, 380-400 (1988).MSC公司:68问题85 68T99型 PDF格式BibTeX公司 XML格式
最好的,艾克 加权基本Petri网。 (英文) Zbl 0663.68073号 88年并发,Proc。国际会议,汉堡/FRG 1988,Lect。注释计算。科学。335, 257-276 (1988).MSC公司:68问题85 2005年第68季度 PDF格式BibTeX公司 XML格式
布尔盖特·罗杰(Bourguet-Rouger),A。 两个Petri网之间的外部行为等价。 (英文) Zbl 0663.68072号 Concurrency’88,程序。国际会议,汉堡/FRG 1988,Lect。注释计算。科学。335, 237-256 (1988).MSC公司:68问题85 PDF格式BibTeX公司 XML格式
沃尔夫冈·雷西格 并发系统中的时间逻辑和因果关系。 (英文) Zbl 0663.68039号 Concurrency’88,程序。国际会议,汉堡/FRG 1988,Lect。注释计算。科学。335, 121-139 (1988).MSC公司:第68季度第65季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式
米基利内尼,克里希纳P。;周远哲;Su,Stanley Y.W.(斯坦利·Y·W·苏)。 基于Petri网的并行数据库查询流水线处理建模与评估。 (英文) Zbl 0662.68107号 IEEE传输。柔和。工程师。 14,第11期,1656-1667(1988).MSC公司:68第20页 68问题85 94C15号机组 94甲15 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Mikkilineni}等人,IEEE Trans。柔和。工程14,No.11,1656--1667(1988;Zbl 0662.68107) 全文: 内政部
乔治·劳森 信息系统行为的建模和分析。 (英文) Zbl 0662.68106号 IEEE传输。柔和。工程师。 14,第11期,1610-1620(1988).MSC公司:68第20页 68问题85 94C15号机组 94甲15 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{G.劳森},IEEE Trans。柔和。工程14,编号11,1610--1620(1988;Zbl 0662.68106) 全文: 内政部
G.S.胡拉。;阿特伍德,J.W。 使用Petri网分析相干故障树。 (英文) Zbl 0661.90038号 IEEE传输。Reliab公司。 37,第5号,469-474(1988).MSC公司:90B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Hura}和\textit{J.W.Atwood},IEEE Trans。Reliab公司。37,第5号,469--474(1988;Zbl 0661.90038) 全文: 内政部
Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。 无冲突向量替换系统的完备性结果。 (英文) 兹比尔0661.68061 J.计算。系统。科学。 37,第3号,349-366(1988).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Howell}和\textit{L.E.Rosier},J.Compute。系统。科学。37,第3号,349--366(1988;Zbl 0661.68061) 全文: 内政部
安东尼·马祖基维奇 纯位置/转换系统的组合语义。 (英文) Zbl 0661.68060号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 11,第4期,331-356(1988). 审核人:M.Jantzen先生 MSC公司:68问题85 68号01 68问题55 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{A.Mazurkiewicz},安.社会数学。政策。,序列号。IV、 芬达姆。Inf.11,No.4,331--356(1988;Zbl 0661.68060)
Kvachuk,K.P。 利用Petri网对信息系统进行建模(ASPID-7/SM案例)。 (英语。俄文原件) Zbl 0659.68086号 程序。计算。软件 14,第1号,12-21(1988); 译自Programmirovanie 1988,No.1,37-49(1988)。MSC公司:68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Kvachuk},程序。计算。柔和。14,No.1,12--21(1988;Zbl 0659.68086);译自Programmirovanie 1988,No.1,37-49(1988)
詹弗兰科·巴尔博;史蒂文·布鲁尔(Steven C.Bruell)。;苏巴拉奥州甘塔 将排队网络和广义随机Petri网相结合,用于求解复杂的系统行为模型。 (英文) Zbl 0658.68121号 IEEE传输。计算。 37,第10号,1251-1268(1988).MSC公司:68平方英寸 68问题85 68平方米 68N99型 60K20码 PDF格式BibTeX公司 XML格式引用 \textit{G.Balbo}等人,IEEE Trans。计算。37,第10号,1251--1268(1988;Zbl 0658.68121) 全文: 内政部
克里帕辛杜·乔杜里;拉纳吉特·基肖尔·塔库尔 通过Petri网的图理论多逻辑故障分析。 (英文) Zbl 0658.68074号 国际期刊计算。数学。 25,No.2,83-100(1988).MSC公司:68兰特 68问题85 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}和\textit{R.K.Thakur},国际计算机杂志。数学。25,编号2,83--100(1988;Zbl 0658.68074) 全文: 内政部
海诺·卡斯滕森 确定性Petri网的无限行为。 (英文) Zbl 0658.68070号 1988年计算机科学数学基础,Proc。第十三交响曲。,卡尔斯巴德/捷克。1988年,Lect。注释计算。科学。324, 210-219 (1988). 审核人:R.Janicki公司 MSC公司:68问题85 第68季度第65季度 65年第68季度 PDF格式BibTeX公司 XML格式
莱泽克·霍伦德斯基;安德烈·萨拉斯 有限因果结构的命题描述。 (英文) Zbl 0658.68032号 信息处理。莱特。 27,第3期,111-117(1988). 审核人:R.Janicki公司 MSC公司:第68季度第65季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Holenderski}和\textit{A.Szalas},Inf.过程。莱特。27,No.3,111--117(1988;Zbl 0658.68032) 全文: 内政部
威廉·范·比尔容(Willem R.van Biljon)。 扩展Petri网以指定人机对话。 (英文) Zbl 0657.68069号 国际曼马赫杂志。双头螺栓。 28,第4期,437-455(1988).MSC公司:68问题85 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{W.R.van Biljon},国际期刊Man-Mach。螺柱28,编号4,437--455(1988;Zbl 0657.68069) 全文: 内政部
A.拉比诺维奇。;Trakhtenbrot,学士。 行为结构和网络。 (英文) Zbl 0657.68068号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 11,第4期,357-404(1988).MSC公司:68问题85 第68页第25页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{B.A.Trakhtenbrot},Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.11,No.4,357--404(1988;Zbl 0657.68068)
约泽夫·温科夫斯基 场所/过渡系统行为的事件结构表示。 (英文) Zbl 0657.68067号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 11,第4期,405-432(1988年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},Ann.社会数学。政策。,序列号。IV、 芬达姆。Inf.11,No.4,405--432(1988;Zbl 0657.68067)
皮耶保罗·德加诺;De Nicola,罗科;乌戈·蒙塔纳里 基于条件/事件系统的CCS分布式操作语义。 (英文) Zbl 0656.68061号 学报信息。 26,编号1-2,59-91(1988).MSC公司:68问题85 第68页第25页 60年第68季度 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,《信息学报》第26期,第1--2、59-91号(1988年;Zbl 0656.68061) 全文: 内政部
达根,J。;J·布朗。 ESPNET:基于专家系统的Petri网模拟器。 (英文) 兹比尔0655.68073 IEE程序。,第D部分 135,第4号,239-247(1988).MSC公司:68问题85 68T99型 68平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{J.Duggan}和\textit{J.Browne},IEE程序。,D部分135,编号4,239--247(1988;Zbl 0655.68073) 全文: 内政部
Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。;Yen、Hsu-Chun Petri网公平性和时序逻辑问题的分类。 (英文) Zbl 0655.68072号 1988年计算机科学数学基础,Proc。第13次研讨会。,卡尔斯巴德/捷克。1988年,Lect。注释计算。科学。324, 351-359 (1988). 审核人:M.Jantzen先生 MSC公司:68问题85 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
M.G.富吉尼。;G.马特拉。 访问控制机制的Petri网模型。 (英文) Zbl 0654.68065号 信息系统。 13,第1号,53-63(1988).MSC公司:68问题85 68平方英寸 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Fugini}和\textit{G.Martella},信息系统。13,编号1,53--63(1988;Zbl 0654.68065) 全文: 内政部
大岛村田;张杜 逻辑程序并行解释的谓词转换网络模型。 (英文) Zbl 0654.68028号 IEEE传输。柔和。工程师。 14,第4期,481-497(1988).MSC公司:第68页第25页 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Murata}和\textit{D.Zhang},IEEE Trans。柔和。Eng.14,No.04,481--497(1988;Zbl 0654.68028) 全文: 内政部
艾斯布兰德·简·奥尔伯斯堡;格列泽戈兹·罗森贝格 痕迹理论。 (英文) Zbl 0652.68017号 西奥。计算。科学。 60,第1期,1-82页(1988年). 审核人:H.Müller先生 MSC公司:60年第68季度 68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Aalbersberg}和\textit{G.Rozenberg},Theor。计算。科学。60,第1号,1--82(1988;Zbl 0652.68017) 全文: 内政部
沃尔德马尔·科钦斯基 并发系统的代数特征。 (英文) Zbl 0651.68033号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 11,第2期,171-193(1988). 审核人:W.夸索维奇 MSC公司:第68季度第65季度 18立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.科尔琴斯基},Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.11,No.2,171--193(1988;Zbl 0651.68033)
科瓦列夫。;于波托辛。五、。 并行逻辑控制算法的分解。 (英语。俄文原件) Zbl 0651.68025号 自动。控制计算。科学。 22,第1号,6-11(1988); Avtom翻译。维奇尔。泰克。1988年,第1期,8-13(1988)。MSC公司:第68页第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Kovalev}和\textit{Yu.V.Pottosin},奥托姆。控制计算。科学。22,No.1,6--11(1988;Zbl 0651.68025);Avtom翻译。维奇尔。泰克。1988年,第1期,第8-13期(1988年)
沃尔特·福格勒 模块化Petri网的故障语义和死锁。 (英文) Zbl 0649.68060号 计算机科学数学基础。第十三交响曲。,卡尔斯巴德/捷克。1988年,Lect。注释计算。科学。324, 542-551 (1988).MSC公司:68问题85 第68页第25页 PDF格式BibTeX公司 XML格式
乌苏拉·戈尔茨 关于用有限Petri网表示CCS程序。 (英文) Zbl 0649.68015号 计算机科学数学基础。第十三交响曲。,卡尔斯巴德/捷克。1988年,Lect。注释计算。科学。324, 339-350 (1988).MSC公司:60年第68季度 68问题85 第68页第25页 PDF格式BibTeX公司 XML格式
Comeau,医学硕士。;托拉西拉曼。 子标记可达性问题的结构和网络编程。 (英文) Zbl 0648.90081号 IEEE传输。电路系统。 35,第1号,89-100(1988). 审核人:C.半径 MSC公司:90立方厘米 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Comeau}和\textit{K.Thulasiraman},IEEE Trans。电路系统。35,第1号,89--100(1988;Zbl 0648.90081) 全文: 内政部
斯蒂芬·泽勒夫斯基 Netztheoretische Fundierung von parallelien Algorithmen zur Bestimmung von Lösungen für linear-ganzzahlige OR-模型ohne Extremalziele。(基于网络理论的并行算法,用于计算线性整数OR-模型的解,无需最小化或最大化目标)。 (德语) Zbl 0648.90057号 安圭。信息。 30,第8期,352-362(1988).MSC公司:90立方厘米 90C05(二氧化碳) 65千5 PDF格式BibTeX公司 XML格式引用 \textit{S.Zelewski},Angew。通知。30,第8号,352--362(1988;Zbl 0648.90057)
罗伯特·巴贝;莱斯·斯托克;罗伯特·博洛莫(Robert Hiromoto) 使用大粒度数据流开发并行蒙特卡罗传输算法。 (英文) Zbl 0648.68040号 并行计算。 187-198年第2期第7页(1988年). 审核人:K.G.布罗凯特 MSC公司:68N99型 60年第68季度 65二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Babb II}等人,《并行计算》。7,第2号,187--198(1988;Zbl 0648.68040) 全文: 内政部
Ajoy K.达塔。;苏库马尔·戈什;穆罕默德·戈帕兰;艾哈迈德·埃尔马加米德。 图形和图像处理应用程序中的流水线和并发。 (英文) Zbl 0647.68116号 计算。系统。科学。工程师。 3号,第3期,第107-116页(1988年).MSC公司:68单位99 68平方英寸 68问题85 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Datta}等人,计算。系统。科学。工程3,编号3,107--116(1988;Zbl 0647.68116)
奥兹苏,M.Tamer;黄国龙;孔、泽门 使用Petri网进行系统建模和分析。 (英文) Zbl 0647.68114号 系统。分析。,建模仿真 5,第1号,3-25(1988).MSC公司:68平方英寸 68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Øzsu}等人,系统。分析。模型1。模拟。5、第1号、第3--25号(1988年;Zbl 0647.68114)
阿乔伊·K·达塔。;苏库马尔·戈什;危害,道格拉斯;艾哈迈德·埃尔马加米德。 分布式系统中的死锁避免机制。 (英文) Zbl 0647.68030号 计算。系统。科学。工程师。 3,第2号,67-82(1988).MSC公司:第68页第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Datta}等人,计算。系统。科学。工程3,编号2,67--82(1988;Zbl 0647.68030)
穆勒,霍斯特 Höhere Petri-Netze-ein Werkzeug für Modellierung und Analyse verteilter Systeme und paralleler Datenverabeitungsprozesse。(高级Petri网-分布式系统建模和分析以及并行数据处理的工具)。 (德语。英文摘要) 兹伯利0646.68076 信息技术 30,第2期,110-117(1988).MSC公司:68问题85 第68页第25页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Müller},Informationstechnik 30,No.2,110--117(1988;Zbl 0646.68076)
雅加·提科 应用Quirk模型语言将Quirk的模型与Petri网进行比较。 (俄语。英文摘要) Zbl 0644.68039号 伊兹夫。阿卡德。Nauk Ehst公司。SSR、Fiz.、。,材料。 37,第1号,18-25(1988).MSC公司:第68季度第65季度 68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \文本{Y.Tekko},Izv。阿卡德。诺克街。SSR、Fiz.、。,材料37,编号1,18--25(1988;Zbl 0644.68039)
路德威克·查贾 因果结构。 (英文) Zbl 0642.68108号 信息处理。莱特。 26, 313-319 (1988). 审核人:R.Janicki公司 MSC公司:68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja},Inf.流程。莱特。26313--319(1988;Zbl 0642.68108) 全文: 内政部
T·村田。;松山,K。 使用Petri网约简对一组子句进行不一致性检查。 (英文) Zbl 0641.68080号 J.富兰克林研究所。 325,第1期,73-93(1988).MSC公司:68问题85 68吨15 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Murata}和\textit{K.Matsuyama},J.Franklin Inst.325,No.1,73-93(1988;Zbl 0641.68080) 全文: 内政部
Brand,克劳斯·皮特;尤尔根·科帕恩斯基 Petri网过程控制原理与工程。 (英文) Zbl 0637.93047号 IEEE传输。自动。控制 33,第2期,138-149(1988). 审核人:K.-P.品牌 MSC公司:93立方厘米 05C75号 68问题85 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{K.-P.Brand}和\textit{J.Kopainsky},IEEE Trans。自动。控制33,编号2,138--149(1988;Zbl 0637.93047) 全文: 内政部
约翰·赖夫(John H.Reif)。;斯科特·斯莫尔卡。 分布式通信过程中可达性的复杂性。 (英文) Zbl 0637.68032号 学报信息。 25,第3期,333-354(1988).MSC公司:第68页第25页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}和\textit{S.A.Smolka},《学报》第25期,第3期,第333--354页(1988;Zbl 0637.68032) 全文: 内政部
格列泽戈兹·罗森贝格(编辑) APN 88。Petri网的进展1988。1987年6月在西班牙萨拉戈萨举行的第八届欧洲Petri网应用和理论研讨会。 (英文) Zbl 0658.00014号 计算机科学课堂讲稿340.柏林等:斯普林格·弗拉格。六、 第439页(1988年)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}(编辑),APN 88。1988年Petri网的进展。1987年6月在西班牙萨拉戈萨举行的第八届欧洲Petri网应用和理论研讨会。柏林等:Springer-Verlag(1988;Zbl 0658.00014) 全文: 内政部
最好的,艾克;塞萨尔·费尔南德斯。 非连续过程。一个Petri网视图。 (英文) Zbl 0656.68005号 EATCS理论计算机科学专著, 13. 柏林等:Springer-Verlag。八、 112页。;48.00德国马克(1988年)。 审核人:C.马萨拉吉 MSC公司:68-02 65年第68季度 06年06月06日 第68页第25页 68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{C.Fernández},非顺序过程。Petri网视图。柏林等:Springer-Verlag(1988;Zbl 0656.68005)