阿乔伊·达塔;Ghosh,S。 一类无死锁Petri网的合成。 (英语) Zbl 0629.68066号 J.协会计算。机器。 31, 486-506 (1984).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Datta}和\textit{S.Ghosh},J.计算机助理。机器。31486--506(1984年;Zbl 0629.68066) 全文: 内政部
布迪纳斯,B.L。 Petri网的瞬时性和自由语言的正则性。 (俄语) 兹比尔062468051 维奇尔。西斯特。 104, 75-86 (1984). 审核人:E.伊勒 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.L.Budinas},Vychils。修女。104、75-86(1984年;Zbl 0624.68051)
肯塔基州兰加拉扬。;Shyamasundar,R.K。 并行重写系统和Petri网。 (英语) Zbl 0622.68051号 J.库姆。信息系统。科学。 9, 133-150 (1984).MSC公司:68问题85 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Rangarajan}和\textit{R.K.Shyamasundar},J.Comb。信息系统。科学。9、133--150(1984年;Zbl 0622.68051)
科托夫,V.E。 Petri网。(塞蒂·佩特里)。 (俄语) Zbl 0606.68052号 莫斯科:“Nauka”Glavnaya Redaktsiya Fiziko-Matematicheskoj Literatury。《太平洋公报》第160卷第1.80页(1984年)。MSC公司:68问题85 68-02 PDF格式BibTeX公司 XML格式
汉斯·迪特·伯克哈德;彼得·斯塔克。 关于Petri网中冲突解决对生存性和死锁的影响的一个注记。 (英语) Zbl 0605.68047号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 7, 429-445 (1984). 审核人:D.Cristea公司 MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Burkhard}和\textit{P.H.Starke},Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.7,429--445(1984;Zbl 0605.68047)
詹姆斯·彼得森。 Petri网理论和系统建模。(Teoriya setej Petri i modelovanie sismim)。Transl.公司。来自英国。 (俄语) Zbl 0598.68048号 莫斯科:Izdatel'stvo“Mir”。264 p.R.1.70(1984年)。MSC公司:68问题85 68岁20岁 68-01年 PDF格式BibTeX公司 XML格式
蒂亚加拉扬,P.S。;沃斯,K。 重新审视自由选择网。 (英语) Zbl 0589.68044号 Inf.控制 61, 85-113 (1984).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{K.Voss},Inf.Control公司61,85--113(1984年;Zbl 0589.68044) 全文: 内政部
安东尼·马祖基维奇 轨迹、历史、图:过程幺半群的实例。 (英语) Zbl 0577.68061号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176115-133(1984)中描述。MSC公司:99年第68季度 68问题85 20立方米 65年第68季度 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
肯尼思·麦卡龙 Petri网和大型有限集。 (英语) Zbl 0569.68046号 西奥。计算。科学。 32, 173-183 (1984).MSC公司:68问题85 03年2月25日 03C62型 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \文本{K.McAloon},Theor。计算。科学。32173--183(1984年;Zbl 0569.68046) 全文: 内政部
M.K.布扎。;A.N.库巴茨基。 程序的正式模型。 (英语。俄文原件) Zbl 0566.68055号 程序。计算。软件 10, 117-121 (1984);译自Programmirovanie 1984,第3期,16-20(1984)。 审核人:J.奥尔谢夫斯基 MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Buza}和\textit{A.N.Kurbatskij},程序。计算。柔和。10117-121(1984年;Zbl 0566.68055);译自Programmirovanie 1984,No.3,16-20(1984)
萨拉·波拉特;迈克尔·尤利 朝向网络层次结构。 (英语) Zbl 0565.68057号 J.计算。系统。科学。 29, 198-206 (1984). 审核人:H.Müller先生 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Porat}和\textit{M.Yoeli},J.Comput。系统。科学。29198--206(1984;Zbl 0565.68057) 全文: 内政部
鲁德涅夫,V.V。 互联图形系统和离散过程模拟。 (英语。俄文原件) 兹伯利0564.68036 自动。远程控制 45, 1238-1246 (1984);Avtom翻译。Telemekh公司。1984年,第9期,157-166(1984)。MSC公司:2005年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rudnev},汽车。遥控器45,1238--1246(1984;Zbl 0564.68036);Avtom翻译。Telemekh公司。1984年,第9期,157--166(1984)
恩斯特·梅尔(Ernst W.Mayr)。 一般Petri网可达性问题的一种算法。 (英语) Zbl 0563.68057号 SIAM J.计算。 13, 441-460 (1984).MSC公司:68问题85 03年2月25日 65年第68季度 2015年3月1日 03D40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Mayr},SIAM J.计算机。13、441--460(1984年;Zbl 0563.68057) 全文: 内政部
乌苏拉·戈尔茨;阿兰·迈克罗夫特 关于CCS与Petri网的关系。 (英语) Zbl 0562.68049号 自动化、语言和编程,安特卫普/贝尔格第11大学。1984年,Lect。注释计算。科学。172, 196-208 (1984). 审核人:R.Janicki公司 MSC公司:68问题85 68N25号 68问题65 PDF格式BibTeX公司 XML格式
阿列克桑德拉·斯卡宾斯卡 标记Petri网语言和标记c图语言之间的联系。 (英语) 兹伯利0562.68048 波德斯特维·斯特罗瓦尼亚 14, 19-28 (1984). 审核人:R.Janicki公司 MSC公司:68问题85 65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Skarbińska},波德斯塔维·斯特洛瓦尼亚14,19-28(1984;Zbl 0562.68048)
诺尔特迈尔,H。;劳厄,R。 Informatik II:Rechnerstrukturen und Programmierung中的Einführung。 (德语) Zbl 0562.68002号 慕尼黑-维也纳:卡尔·汉斯·弗拉格。219 S.DM 34.00(1984)。 审核人:E.Börger公司 MSC公司:68-01年 2005年第68季度 94立方厘米 68N25号 68号01 68问题85 PDF格式BibTeX公司 XML格式
格林·温斯克尔 Petri网上态射的一个新定义。 (英语) Zbl 0559.68058号 计算机科学的理论方面。,1984年,巴黎。注释计算。科学。166, 140-150 (1984). 审核人:H.Müller先生 MSC公司:68问题85 18B20型 PDF格式BibTeX公司 XML格式
最好的,艾克 公平与阴谋。 (英语) Zbl 0558.68052号 信息处理。莱特。 18, 215-220 (1984). 审核人:V.Calmatuianu公司 MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best},Inf.过程。莱特。18、215--220(1984年;Zbl 0558.68052) 全文: 内政部
Genrich,H.J。;詹森,D。;G.罗森伯格。;蒂亚加拉扬,P.S。 广义句柄文法及其与Petri网的关系。 (英语) Zbl 0558.68051号 Elektron公司。通知-藜芦。凯伯内提克 179-206年(1984年). 审核人:M.Jantzen先生 MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Genrich}等人,Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息20、179--206(1984;Zbl 0558.68051)
瓦西尔埃夫。;V.V.库兹穆克。 Petri网和并行算法。 (俄语。英文摘要) Zbl 0558.68030号 多克。阿卡德。Nauk乌克兰。SSR,序列号。A类 1984年,第11期,66-68(1984).MSC公司:68瓦99 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Vasil'ev}和\textit{V.V.Kuz'muk},Dokl。阿卡德。Nauk乌克兰。SSR,序列号。A 1984,第11号,第66--68号(1984;Zbl 0558.68030)
阿塔纳索夫,Krassimir T。 广义网理论(拓扑方面)。 (英语) Zbl 0555.68034号 方法操作。物件。 51, 217-226 (1984). 审核人:M.德姆洛娃 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.T.Atanassov},方法操作。第51、217--226号决议(1984年;Zbl 0555.68034)
马蒂·彭顿 向量加法系统的可达性及其等价问题。 (英语) Zbl 0551.68048号 图尔库安大学。,序列号。一个I 186, 80-86 (1984). 审核人:J.伯甘迪 MSC公司:03D60年 03D40号 68问题85 65年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Penttonen},Ann.Turku大学,Ser。A I 186,80--86(1984;Zbl 0551.68048)
安妮·布鲁格曼;普里塞·卢茨;罗丁,迪特;Rüdiger Schätz 自动机的模块化分解。 (英语) Zbl 0548.68058号 逻辑与机器:决策问题与复杂性,Proc。交响乐团。,穆斯特/德国。1983年,Lect。注释计算。科学。171, 198-236 (1984). 审核人:W.夸索维奇 MSC公司:70年第68季度 68问题85 68N25号 PDF格式BibTeX公司 XML格式
兹比格尼乌·苏拉吉 关于并发程序系统中资源分配的某些问题。 (英语) Zbl 0548.68018号 Pr.Inst.Podstaw Inf.Pol.公司。阿卡德。Nauk 549,92 p.(1984)。MSC公司:68N25号 68问题85 PDF格式BibTeX公司 XML格式
最好的,艾克 并发行为:序列、过程和公理。 (英语) Zbl 0547.68056号 Arbeitspapiere der GMD公司118.圣奥古斯丁:GMD。第27页。(1984).MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Best},并发行为:序列、过程和公理。圣奥古斯丁:GMD(1984;Zbl 0547.68056)
Genrich,H.J。;蒂亚加拉扬,P.S。 双极同步方案理论。 (英语) Zbl 0547.68054号 西奥。计算。科学。 30, 241-318 (1984).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Genrich}和\textit{P.S.Thiagarajan},Theor。计算。科学。30、241--318(1984年;Zbl 0547.68054) 全文: 内政部
里扎德·贾尼基 网络、顺序组件和并发关系。 (英语) Zbl 0546.68039号 西奥。计算。科学。 30, 87-121 (1984). 审核人:H.Fuss和E.Smith MSC公司:68问题85 93B17号机组 93B30型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{R.Janicki},Theor。计算。科学。30、87-121(1984年;Zbl 0546.68039) 全文: 内政部
安德烈·塞斯 使用广义P函数概念的算法合成和异步实现。 (英语) Zbl 0546.68031号 IEEE传输。计算。 33, 861-868 (1984).MSC公司:2005年第68季度 68问题85 94立方厘米 60年第68季度 68N25号 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse},IEEE Trans。计算。33861--868(1984年;Zbl 0546.68031) 全文: 内政部
R·巴德。;尼特斯,H。 Einführung in die Netztheorie(Petrinetze理论)。二、。 (英语) Zbl 0545.68050号 Regelungstechnik公司 32, 107-113 (1984).MSC公司:68问题85 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{R.Budde}和\textit{H.Nieters},Regelungstechnik 32,107--113(1984;Zbl 0545.68050)
亨利克·比塞亚达 在异步基本操作的情况下计算开发系统的增长函数。 (英语) Zbl 0542.68036号 国际期刊系统。科学。 15, 1231-1246 (1984).MSC公司:2012年第68季度 68问题85 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{H.Biesiada},国际期刊系统。科学。151231--1246(1984年;Zbl 0542.68036) 全文: 内政部
汉斯·约尔格·克鲁斯基;海因茨·威廉·施密特 规范语言SEGRAS的一些代数概念及其初始语义。 (英语) 兹伯利0542.68010 GMD-Stud.93,26 p.(1984)。MSC公司:68第05页 68问题85 PDF格式BibTeX公司 XML格式
简·马戈特 使用Petri网对并发系统进行性能评估。 (英语) Zbl 0533.68062号 信息处理。莱特。 18, 7-13 (1984). 审核人:W.夸索维奇 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Magott},Inf.流程。莱特。18、7--13(1984年;Zbl 0533.68062) 全文: 内政部
安德烈·塞斯 异步实现算法的矩阵形式。 (英语) Zbl 0528.68018号 IEEE传输。计算。 33, 289-300 (1984).MSC公司:68瓦99 94立方厘米 68号01 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse},IEEE Trans。计算。33289--300(1984年;Zbl 0528.68018) 全文: 内政部
奥特海·赫尔佐格;沃尔夫冈·雷西格;鲁迪格·瓦尔克 彼得里·内泽(Petri-Netze):ein Abriss ihrer Grundlagen und Anwendungen。一、。 (德语) Zbl 0526.68056号 Inf.-Spektrum 7,20-27(1984)。MSC公司:68问题85 68-01年 PDF格式BibTeX公司 XML格式