里扎德·贾尼基;码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基 并发的范例。观察、行为和系统——Petri网视图。 (英语) Zbl 1503.68008号 计算智能研究1020.柏林:施普林格出版社(ISBN 978-3-662-64819-3/hbk;978-3-682-64821-6/电子书)。xii,第326页。(2022). 审核人:马丁·兰格(卡塞尔) MSC公司:68-02 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,并发的范例。观察、行为和系统——Petri网视图。柏林:施普林格(2022;Zbl 1503.68008) 全文: 内政部
里扎德·贾尼基;马西耶·库特尼 反链的操作语义、区间顺序和序列。 (英语) Zbl 1428.68178号 芬丹。通知。 169,编号1-2,31-55(2019).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Fundam。通知。169,编号1-2,31-55(2019;兹bl 1428.68178) 全文: 内政部
穆罕默德·阿尔加尼;里扎德·贾尼基 带约束弧的Petri网的区间语义。 (英语) Zbl 1390.68453号 西奥。计算。科学。 727, 1-23 (2018).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alqarni}和\textit{R.Janicki},Theor。计算。科学。727,1--23(2018;Zbl 1390.68453) 全文: 内政部
里扎德·贾尼基;马西耶·库特尼 具有优先级的网络的因果语义。 (英语) Zbl 1058.68540号 芬丹。通知。 38,第3期,223-255(1999).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Fundam。通知。38,第3号,223--255(1999;Zbl 1058.68540)
里扎德·贾尼基;马西耶·库特尼 并发结构。 (英语) Zbl 0814.68061号 西奥。计算。科学。 112,第1期,5-52页(1993年). 审核人:W.齐埃隆卡(波尔多) MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Theor。计算。科学。112,编号1,5--52(1993;Zbl 0814.68061) 全文: 内政部
里扎德·贾尼基;Peter E.劳尔。 并发系统的规范和分析。COSY方法。 (英语) Zbl 0765.68007号 EATCS理论计算机科学专著柏林等:施普林格-维拉格。XII、 480页(1992年)。 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:68-02 2010年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{P.E.Lauer},并发系统的规范和分析。COSY方法。柏林等:Springer-Verlag(1992;Zbl 0765.68007)
劳尔,体育。;Janicki,R。 介绍宏COSY符号。 (英语) Zbl 0639.68052号 并发和网络。Petri网进展,287-314(1987)。MSC公司:68问题85 68N25号 68N99型 PDF格式BibTeX公司 XML格式
里扎德·贾尼基;Peter E.劳尔。;马西耶·库特尼;雷蒙德·魔鬼队 非序列系统的并发和最大并发进化。 (英语) Zbl 0604.68006号 西奥。计算。科学。 43, 213-238 (1986). 审核人:M.K等人 MSC公司:68号01 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,Theor。计算。科学。43、213--238(1986年;Zbl 0604.68006) 全文: 内政部
里扎德·贾尼基 网络、顺序组件和并发关系。 (英语) 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) 全文: 内政部
里扎德·贾尼基 通过顺序解决方案和并发关系构建并发系统。 (英语) 兹伯利0466.68047 编程概念的形式化,Proc。int.Colloq.,佩尼斯科拉/西班牙1981年,勒克特。注释计算。科学。107, 327-334 (1981).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式
里扎德·贾尼基 关于原子网和并发关系。 (英语) Zbl 0449.68021号 计算机科学的数学基础,Proc。第九交响曲。,Rydzyna/波兰。1980年,法律。注释计算。科学。88, 320-333 (1980).MSC公司:68问题85 70年第68季度 PDF格式BibTeX公司 XML格式
里扎德·贾尼基 协同程序向量理论的结果。 (英语) Zbl 0425.68014号 Pr.Inst.Podstaw Inf.Pol.公司。阿卡德。Nauk 379,44 P.(1979)。MSC公司:68号01 PDF格式BibTeX公司 XML格式