阿兰·芬克尔 无限可达树的约简与覆盖。 (英语) Zbl 0753.68073号 Inf.计算。 89,No.2,144-179(1990). 审核人:G.Gauthier(蒙特利尔) MSC公司:第68季度85 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel},信息计算。89,编号2144-179(1990年;兹bl 0753.68073) 全文: 内政部
阿瓦基安,V.V。;南卡罗来纳州尤迪茨基。 使用操作图描述和分析并行逻辑控制算法。 (英语。俄文原件) Zbl 0797.68070号 自动化。远程控制 第51期,第1期,第82-88页(1990年); 来自Avtom的翻译。Telemekh公司。1990年,第1期,100-108(1990年)。MSC公司:68宽15 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Avakyan}和\textit{S.A.Yuditskij},Autom。遥控器51,编号1,82--88(1990;Zbl 0797.68070);来自Avtom的翻译。Telemekh公司。1990年,第1期,100--108(1990)
王飞跃;乔治·萨里迪斯。 智能机器的协调理论。 (英语) Zbl 0797.68135号 Automatica公司 26,No.5,833-844(1990).MSC公司:68T05型 93C85号 第68季度85 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{F.-Y.Wang}和\textit{G.N.Saridis},Automatica 26,No.5,833--844(1990;Zbl 0797.68135) 全文: 内政部
阿查索娃,S.M。;O.L.班德曼。 并行计算过程的正确性。编辑:N.N.Mirenkov。(Korrektnost“平行”ykh vychislitel“ykh protessov。) (俄语) Zbl 0783.68006号 新西伯利亚:瑙卡。第253页(1990年)。 审核人:A.V.阿尼西莫夫(基辅) MSC公司:68-02 2010年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Achasova}和\textit{O.L.Bandman},Korrektnost“parallel‘ykh vychislitel’nykh prossessov(俄语)。新西伯利亚:瑙卡(1990;Zbl 0783.68006)
瓦西尔埃夫。;V.V.库兹穆克。 Petri网、并行算法和多处理器系统模型。(Seti Petri,并行‘ye算法i modeli multi’tiprotsosornykh sism) (俄语) Zbl 0784.68062号 基辅:Naukova Dumka。215页(1990年)。MSC公司:第68季度85 68-02 2007年7月68日 2010年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Vasil'ev}和\textit{V.Kuz'muk},Seti Petri,parallel'nye algorithmy i modeli mul’tiprotsosornykh sism(俄语)。基辅:Naukova Dumka(1990;Zbl 0784.68062)
J.M.普罗斯。;Hillion,H.P。 生产管理中的数学工具。 (英语) Zbl 0743.90064号 运筹学和数据分析中的竞争方法。纽约等:Plenum出版社。xiv,391 p.(1990)。 审核人:R.Nehse(伊勒梅瑙) MSC公司:90B30型 90B22型 90立方厘米 90B15号机组 90摄氏度 90-01 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Proth}和\textit{H.P.Hillion},生产管理中的数学工具。纽约等:Plenum出版社(1990;Zbl 0743.90064)
德克·阿贝尔 工程师用Petri网。离散控制系统的建模和分析。(Petri-Netze für Ingenieure,Modellbildung and Analyse diskret gesteuerter Systeme) (德语) Zbl 0755.68111号 柏林等:Springer-Verlag。八、 第130页(1990年)。 审核人:G.霍曼(魏玛) MSC公司:第68季度85 68兰特 93C55美元 68-01 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Abel},Petri-Netze für Ingenieure。Modellbildung und Analyse diskret gesteuerter Systeme(建模与分析磁盘引导系统)。柏林等:Springer-Verlag(1990;Zbl 0755.68111)
托马斯·罗伯塔齐。 计算机网络与系统:排队理论与性能评估。 (英语) 兹比尔0729.68005 电信网络和计算机系统。纽约等地:Springer-Verlag。十二、 306 p.DM 98.00(1990)。 审核人:W.Henderson(阿德莱德) MSC公司:68平方米 68-02 PDF格式BibTeX公司 XML格式引用 \textit{T.G.Robertazi},《计算机网络和系统:排队理论和性能评估》。纽约等:Springer-Verlag(1990;Zbl 0729.68005)
维克托·瓦尔沙夫斯基一世。(编辑);维克托·瓦沙夫斯基。(编辑) [Michail A.Kishinevsky。;维亚切斯拉夫·马拉霍夫斯基。;佩申斯基(Peschansky,Valerij A.)。;Leonid Ya Rosenblum。;亚历山大·托宾。;鲍里斯·齐林。] 并发进程的自我定时控制。计算机和离散系统中非周期逻辑电路的设计。由M.A.Kishinevsky、V.B.Marakhovsky和V.A.Peschansky、L.Ya提供。Rosenblum、A.R.Taubin、B.S.Tzirlin和V.I.Varshavsky。Transl.公司。亚历山大·雅科夫列夫(Alexandre V.Yakovlev)的《来自俄罗斯》。 (英语) Zbl 0725.94011号 数学及其应用(苏联丛书),52。Dordrecht等:Kluwer学术出版社。xviii,408 p.英国国防部。280.00; £93.00; $ 144.00 (1990). 审核人:A.米查尔斯基 MSC公司:94立方厘米 94-02 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Varshavsky}(编辑)和\textit{V.I.Varshavskyneneneep(编辑),并发进程的自定时控制。计算机和离散系统中非周期逻辑电路的设计。由M.A.Kishinevsky、V.B.Marakhovsky和V.A.Peschansky、L.Ya提供。Rosenblum、A.R.Taubin、B.S.Tzirlin和V.I.Varshavsky。Transl.公司。亚历山大·雅科夫列夫(Alexandre V.Yakovlev)的《来自俄罗斯》。Dordrecht等:Kluwer学术出版社(1990;Zbl 0725.94011)
沃尔克·迪克特 迹上的组合数学。 (英语) Zbl 0717.68002号 计算机科学课堂讲稿, 454. 柏林等:Springer-Verlag。VII、 164第33.00 DM页(1990年)。 审核人:G.毛里 MSC公司:68-02 65年第68季度 68兰特 2005年第68季度 2010年第68季度 03年3月 2012年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert},轨迹上的组合学。柏林等:Springer-Verlag(1990;Zbl 0717.68002) 全文: 内政部
彼得·斯塔克。 分析von Petri-Netz-Modellen。(Petri网模型分析)。 (德语) Zbl 0724.68002号 Leitfäden und Monographien der Informatik公司。斯图加特:B.G.Teubner。第253页(1990年)。 审核人:H.Fuss(圣奥古斯丁) MSC公司:68-01 第68季度85 94A99型 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke},分析冯·佩特里·内兹·莫德伦(Analyse von Petri-Netz-Modellen)。(Petri网模型分析)。斯图加特:B.G.Teubner(1990;Zbl 0724.68002)
巴顿,J.C.M。(编辑);Klop,J.W。(编辑) 1990年开始。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。 (英语) Zbl 0746.68005号 计算机科学课堂讲稿458.柏林等:斯普林格·弗拉格。七、 第536页(1990年)。 审核人:F.-L.Tiplea(拉什) MSC公司:68-06 2010年第68季度 68问题55 第68季度第60季度 第68季度85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}(编辑)和\textit{J.W.Klop}(主编),CONCUR’90。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0746.68005)
玛尔塔·奎亚特科夫斯卡。(编辑);迈克尔·西尔德斯(Michael W.Schields)。(编辑);Richard M.托马斯。(编辑) 并发的语义。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公司 MSC公司:68-06 2010年第68季度 第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Marta.Kwiatkowska}(ed.)等人,并发语义。BCS-FACS国际研讨会论文集,由Logic for IT(S.E.R.C.)主办,1990年7月23日至25日,英国莱斯特大学,柏林等:Springer-Verlag(1990;Zbl 0711.68004)
伯恩德·鲍姆加滕 彼得里·内泽。Grundlagen u.Anwendungen公司。 (德语) Zbl 0703.68003号 曼海姆等:B.I.-Wissenschaftsverlag。369 p.DM 38.00(卡丁车)(1990年)。 审核人:F.-L.提普利亚 MSC公司:68-01 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{B.Baumgarten},彼得里·内泽。Grundlagen u.Anwendungen公司。曼海姆等:B.I.-Wissenschaftsverlag(1990;Zbl 0703.68003)
海因茨Schwärtzel(编辑);伊戈尔·米津(Igor A.Mizin)。(编辑) 高级信息处理。联合研讨会,莫斯科,苏联,1990年6月5/6日。诉讼程序。 (英语) Zbl 0820.68009号 柏林等:Springer-Verlag。十一、 第397页(1990年)。MSC公司:68-06 68立方英尺 68兰特 第68季度85 68T05型 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwärtzel}(编辑)和\textit{I.A.Mizin}(主编),《高级信息处理》。联合研讨会,莫斯科,苏联,1990年6月5/6日。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0820.68009)
克里斯托夫·鲁特瑙尔 佩特里的数学方面。(《Petri网的数学》,伊恩·克雷格译) (英语) Zbl 0694.68007号 纽约等地:普伦蒂斯·霍尔。IX、 117页(1990年)。 审核人:M.Jantzen先生 MSC公司:68-02 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Reutenauer},Petri网的数学。伊恩·克雷格译。纽约等:普伦蒂斯·霍尔(1990;Zbl 0694.68007)
格列泽戈兹·罗森贝格(编辑) 1989年Petri网进展。第九届Petri网应用和理论欧洲研讨会,1988年6月,意大利威尼斯。诉讼程序。 (英语) Zbl 0745.68016号 计算机科学课堂讲稿柏林等地:斯普林格·弗拉格。六、 第524页(1990年)。 审核人:Krassimir Atanassov(索非亚) MSC公司:68-06 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}(编辑),《Petri网的进展》,1989年。第九届Petri网应用和理论欧洲研讨会,1988年6月,意大利威尼斯。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0745.68016)
大岛村田;曼纽尔·席尔瓦 离散事件系统基于Petri网的公平性概念。 (英语) Zbl 0734.68070号 系统理论中的实现和建模。国际交响乐团。,数学。理论网络系统。,MTNS,第一卷,阿姆斯特丹/荷兰。1989年,计划。系统。控制理论3,549-557(1990)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式
Lee,Dong Ik先生;鸠山由纪夫;Kodama、Shinzo LSFC网络的可达性。 (英语) Zbl 0734.68068号 系统理论中的实现和建模。国际交响乐团。,数学。理论网络系统。,MTNS,第一卷,阿姆斯特丹/荷兰。1989年,计划。系统。控制理论3,529-539(1990)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式
爱德华·奥赫曼斯基 半交换和确定性Petri网。 (英语) Zbl 0733.68058号 计算机科学数学基础。第十五交响曲。,MFCS’90,BanskáBystrica/捷克。1990年,法律。注释计算。科学。452, 430-438 (1990). 审核人:K.Atanassov(索非亚) MSC公司:第68季度85 PDF格式BibTeX公司 XML格式
沃尔特·福格勒 基于区间半词的失败语义是求精的同余。 (英语) Zbl 0729.68069号 计算机科学的理论方面。第7年。交响乐团。,STACS’90,鲁昂/Fr.1990,Lect。注释计算。科学。415, 285-297 (1990).MSC公司:第68季度85 2010年第68季度 PDF格式BibTeX公司 XML格式
斯特凡诺夫,A.M。;法特基,V.A。 用改进的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格式引用 \textit{A.M.Stefanov}和\textit{V.A.Fatkhi},Sov。J.计算。系统。科学。28,No.1,101--108(1990;Zbl 0727.68081);Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1989年,第3期,115-122(1989)
赵旭东;冯玉林 并发系统的自动分层验证。 (英语) 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。科学。技术。5,第3号,241--249(1990;Zbl 0725.68044) 全文: 内政部
伊丽莎白·佩尔兹 逻辑与顺序和并发网络行为。 (英语) Zbl 0721.68020号 J.信息处理。赛博。 26,No.8-9,461-472(1990).MSC公司:2010年第68季度 65年第68季度 第68季度85 03年11月15日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Pelz},J.Inf.过程。赛博。26,编号8--9,461--472(1990;Zbl 0721.68020)
瓦吉斯,A.G。 逻辑系统模拟语言的属性。 (俄语。英文摘要) Zbl 0719.68051号 多克。阿卡德。诺克乌克。SSR,序列号。一个 1990年,第6期,第66-68页(1990年).MSC公司:第68季度85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Vagis},Dokl。阿卡德。诺克乌克。SSR,序列号。A 1990,第6号,66--68(1990;Zbl 0719.68051)
汉斯·迈克尔·哈尼什 Dynamik von Koordinierungssteuerungen在diskontinuierlichen verfahrenstechnischen Systemen中。(间歇化学系统中的协调控制动力学)。 (德语) Zbl 0719.68050号 自动化控制技术 38,No.11,399-405(1990).MSC公司:第68季度85 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Hanisch},自动化技术38,编号11,399–405(1990;Zbl 0719.68050) 全文: 内政部
霍萨姆·马哈茂德·艾哈迈德·法赫米 通过划分分析Petri网:分裂转换。 (英语) 兹比尔0715.68066 西奥。计算。科学。 77,第3号,321-330(1990).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \文本{H.M.A.Fahmy},Theor。计算。科学。77,第3号,321--330(1990;Zbl 0715.68066) 全文: 内政部
西北部Keesmaat。;H.C.M.克莱因。;G.罗森伯格。 矢量控制并发系统。一: 基本类。 (英语) Zbl 0713.68024号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 13,No.3,275-316(1990). 审核人:M.Val'ev先生 MSC公司:2010年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{N.W.Keesmat}等人,《社会数学》。政策。,序列号。四、 芬丹。Inf.13,No.3,275--316(1990;Zbl 0713.68024)
何塞·梅塞格尔;乌戈·蒙塔纳里 Petri网是幺半群。 (英语) Zbl 0711.68077号 Inf.计算。 88,No.2,105-155(1990). 审核人:R.Janicki公司 MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari},Inf.Compute。88,No.2,105--155(1990;Zbl 0711.68077) 全文: 内政部
Ushio、Toshimitsu 具有外部输入位置的Petri网中的最大允许反馈和模块控制综合。 (英语) Zbl 0709.68037号 IEEE传输。自动化。控制 35,第7844-848号(1990年).MSC公司:第68季度85 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ushio},IEEE传输。自动化。对照品35,编号7844-848(1990年;Zbl 0709.68037) 全文: 内政部
圣菲拉福顿;哟,Hyuck 关于Petri网语言的一些结果。 (英语) 兹比尔0709.68036 IEEE传输。自动化。控制 35,第4期,482-485(1990).MSC公司:第68季度85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lafortune}和\textit{H.Yoo},IEEE Trans。自动化。控制35,编号4,482--485(1990;Zbl 0709.68036) 全文: 内政部 链接
劳伦斯·霍洛韦(Lawrence E.Holloway)。;布鲁斯·H·克罗。 一类受控Petri网的反馈控制逻辑综合。 (英语) Zbl 0709.68035号 IEEE传输。自动化。控制 35,No.5,514-523(1990).MSC公司:第68季度85 93B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Holloway}和\textit{B.H.Krogh},IEEE Trans。自动化。控制35,编号5,514--523(1990;Zbl 0709.68035) 全文: 内政部
乔纳森·奥斯特罗夫。;W.Murray Wonham 实时离散事件控制框架。 (英语) Zbl 0709.68029号 IEEE传输。自动化。控制 35,No.4,386-397(1990).MSC公司:65年第68季度 2010年第68季度 93甲15 68N17号 68甲15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Ostroff}和\textit{W.M.Wonham},IEEE Trans。自动化。对照品35,编号4386-397(1990;Zbl 0709.68029) 全文: 内政部
圣菲拉福顿;陈恩科 下确界闭可控超语言及其在监控中的应用。 (英语) 兹比尔0709.68028 IEEE传输。自动化。控制 35,第4号,398-405(1990).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lafortune}和\textit{E.Chen},IEEE Trans。自动化。控制35,编号4,398--405(1990;Zbl 0709.68028) 全文: 内政部
阿乔伊·K·达塔。;苏库马尔·戈什 资源共享问题的高级Petri网模型。 (英语) Zbl 0706.68080号 信息科学。 51,No.2,213-220(1990).MSC公司:第68季度85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Datta}和\textit{S.Ghosh},信息科学。51,No.2,213--220(1990;Zbl 0706.68080) 全文: 内政部
阿佛洛狄忒察尔加提多 信息系统动态建模和动画制作。 (英语) Zbl 0704.68103号 信息处理。莱特。 36,第3期,123-127(1990).MSC公司:68岁20岁 第68季度85 68层35 68第20页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Tsalgatidou},Inf.流程。莱特。36,No.3,123--127(1990;Zbl 0704.68103) 全文: 内政部
何旭东;约翰·A·N·李。 在并发系统的规范和验证中,将谓词转换网与一阶时序逻辑集成。 (英语) Zbl 0703.68078号 形式方面计算。 第2期,第3期,226-246页(1990年).MSC公司:第68季度85 2010年第68季度 第68季度第60季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.He}和\textit{J.A.N.Lee},正式Asp。计算。2,编号3226-246(1990年;兹bl 0703.68078) 全文: 内政部
彼得·扬查尔 Petri网时态逻辑问题的可判定性。 (英语) Zbl 0701.68081号 西奥。计算。科学。 74,第1号,71-93(1990).MSC公司:第68季度85 03年2月25日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},Theor。计算。科学。74,编号1,71--93(1990;Zbl 0701.68081) 全文: 内政部
霍萨姆·马哈茂德·艾哈迈德·法赫米 时间Petri网:数据相关路径的概率选择。 (英语) Zbl 0701.68009号 国际期刊计算。数学。 36,第3-4号,183-197(1990).MSC公司:68平方米 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{H.M.A.Fahmy},国际计算机杂志。数学。36,编号3--4,183--197(1990;Zbl 0701.68009) 全文: 内政部
西利,R.A.G。 多态线性逻辑和拓扑模型。 (英语) Zbl 0701.03012号 C.R.数学。阿卡德。科学。,Soc.R.加拿大。 12,第1号,21-26(1990).MSC公司:03B70号 18对25 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely},C.R.数学。阿卡德。科学。,Soc.R.罐。12,第1号,21-26(1990年;Zbl 0701.03012)
维杰瓦拉达拉坎 用于系统设计和优化的数学模型。 (英语) Zbl 0699.68084号 国际期刊计算。数学。 34,编号1-2,13-31(1990).MSC公司:第68季度85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Varadharakan},国际计算机杂志。数学。34,编号1-2,13-31(1990年;Zbl 0699.68084) 全文: 内政部
霍萨姆·马哈茂德·艾哈迈德·法赫米 分析大型Petri网的表格方法。 (英语) Zbl 0699.68082号 国际期刊计算。数学。 34,编号3-4,205-214(1990).MSC公司:第68季度85 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{H.M.A.Fahmy},国际计算机杂志。数学。34,编号3--4,205-214(1990;Zbl 0699.68082) 全文: 内政部
W·亨德森。;P.G.泰勒。 具有批量到达和批量服务的队列网络中的产品形式。 (英语) Zbl 0699.60089号 排队系统。 6,No.1,71-87(1990). 审核人:W.亨德森 MSC公司:60K25码 60K20码 PDF格式BibTeX公司 XML格式引用 \textit{W.Henderson}和\textit{P.G.Taylor},排队系统。6,编号1,71--87(1990;Zbl 0699.60089) 全文: 内政部
安德烈亚·马焦洛·谢蒂尼;约泽夫·温科夫斯基 定时Petri网的合成语义。 (英语) 兹伯利0697.68062 安.社会.数学。政策。,序列号。四、 芬丹。信息。 13,No.2,141-170(1990).MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo Schettini}和\textit{J.Winkowski},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.13,No.2,141--170(1990;Zbl 0697.68062)
最好的,艾克;德塞尔,约格 Petri网的偏序行为和结构。 (英语) Zbl 0697.68061号 形式方面计算。 第2期,第123-138页(1990年).MSC公司:第68季度85 68问题55 06年06月06日 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{J.Desel},正式Asp。计算。2,No.2,123--138(1990;Zbl 0697.68061) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 部分(组)2-结构。二: 并发系统的状态空间。 (英语) Zbl 0696.68083号 学报信息。 27,第4期,343-368(1990).MSC公司:第68季度85 68兰特 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},《学报》第27卷第4期,第343--368页(1990年;Zbl 0696.68083) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 部分(组)2-结构。一: 基本概念和表示问题。 (英语) Zbl 0696.68082号 学报信息。 27,第4号,315-342(1990).MSC公司:第68季度85 68兰特 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},《学报》第27卷第4期,第315--342页(1990年;Zbl 0696.68082) 全文: 内政部
M.R.扎尔加姆。;丹霍夫,K.J。 Petri网模型故障分析的定义。 (英语) Zbl 0695.68050号 信息处理。莱特。 34,第6期,299-305页(1990年).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Zargham}和\textit{K.J.Danhof},Inf.过程。莱特。34,编号6299-305(1990年;Zbl 0695.68050) 全文: 内政部
雅切克·库克罗夫斯基 Petri网扩展在连续系统建模和分析中的应用。 (英语) Zbl 0758.93010号 高级模型。模拟。 25,第1期,11-20(1990).MSC公司:93A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cukrowski},高级模型。模拟。25,编号1,11--20(1990;Zbl 0758.93010)
多米尼克·戈姆;沃尔特·罗尔夫 分布式终止问题:基于Petri网的形式化求解和正确性。 (英语) Zbl 0735.68006号 理论计算机科学方面和前景,Proc。第六届国际会议。Young计算公司。科学。,Smolence/捷克。1990年,法律。注释计算。科学。464, 159-168 (1990).MSC公司:68米10 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Gomm}和\textit{R.Walter},莱克特。注释计算。科学。无,159--168(1990年;Zbl 0735.68006)
贝斯塔热娃,I.I。;鲁德涅夫,V.V。 时间Petri网:分类和比较分析。 (英语。俄文原件) Zbl 0800.68598号 自动化。远程控制 51,编号10,1303-1318(1990); 来自Avtom的翻译。Telemekh公司。1990年,第10号,3-21(1990)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Bestuzheva}和\textit{V.V.Rudnev},奥托姆。遥控器51,No.10,1303---1318(1990;Zbl 0800.68598);来自Avtom的翻译。Telemekh公司。1990年,第10号,第3--21号(1990年)