里扎德·贾尼基;码头Kleijn;马西耶·库特尼;米库尔斯基,Łukasz 并发行为的关系结构。 (英语) Zbl 1497.68344号 西奥。计算。科学。 862, 174-192 (2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,Theor。计算。科学。862174--192(2021年;Zbl 1497.68344) 全文: 内政部
里扎德·贾尼基;米库尔斯基,Łukasz 步迹和区间迹的代数结构。 (英语) Zbl 1497.68345号 芬丹。通知。 175,编号1-4253-280(2020).MSC公司:68问题85 20毫米35 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{Ł.Mikulski},Fundam。通知。175,编号1--4,253--280(2020;Zbl 1497.68345) 全文: 内政部
里扎德·贾尼基 关于抑制器和激活器网络的区间语义。 (英语) Zbl 07796222号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 192-212 (2019).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},莱克特。注释计算。科学。11522、192--212(2019;Zbl 07796222) 全文: 内政部
里扎德·贾尼基;码头Kleijn;马西耶·库特尼;米库尔斯基,Łukasz 对阶跃轨迹的不变结构进行分类。 (英语) Zbl 1423.68310号 J.计算。系统。科学。 104, 297-322 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,《计算杂志》。系统。科学。104、297--322(2019年;Zbl 1423.68310) 全文: 内政部
穆罕默德·阿尔加尼;里扎德·贾尼基 带约束弧的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) 全文: 内政部
Janicki,Ryszard;尹、香 使用间隔跟踪对并发进行建模。 (英语) Zbl 1359.68224号 Inf.计算。 253,第1部分,78-108(2017).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{X.Yin},Inf.Compute。253,第1部分,78--108(2017;Zbl 1359.68224) 全文: 内政部 链接
里扎德·贾尼基;码头Kleijn;马西耶·库特尼;米库尔斯基,Łukasz 步骤跟踪。 (英语) Zbl 1335.68173号 学报信息。 53,第1期,35-65(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,Acta Inf.53,No.1,35-65(2016;Zbl 1335.68173) 全文: 内政部
穆罕默德·阿尔加尼;里扎德·贾尼基 带约束弧的Petri网的区间过程语义。 (英语) Zbl 1432.68298号 Devillers,Raymond(编辑)等人,Petri网和并发的应用和理论。第36届国际会议,PETRI NETS 2015,比利时布鲁塞尔,2015年6月21日至26日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9115, 77-97 (2015).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alqarni}和\textit{R.Janicki},莱克特。注释计算。科学。9115,77-97(2015;Zbl 1432.68298) 全文: 内政部
Janicki,Ryszard;莱塞,戴特里曼 使用comtrace和广义comtrace建模并发。 (英语) 兹比尔1244.68057 Inf.计算。 209,第11号,1355-1389(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{D.T.M.Lé},Inf.Compute。209,第11号,1355--1389(2011;Zbl 1244.68057) 全文: 内政部
里扎德·贾尼基 并发的关系结构模型。 (英语) Zbl 1147.68054号 学报信息。 45,第4号,279-320(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},Acta Inf.45,No.4,279--320(2008;Zbl 1147.68054) 全文: 内政部
里扎德·贾尼基;莱塞,戴特里曼 用商幺半群建模并发。 (英语) Zbl 1143.68486号 van Hee,Kees M.(编辑)等人,《Petri网的应用和理论》。2008年6月23日至27日,第29届国际会议,PETRI NETS 2008,中国西安。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-68745-0/pbk)。计算机科学课堂讲稿5062251-269(2008)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{D.T.M.Lí},莱克特。注释计算。科学。5062251--269(2008年;Zbl 1143.68486) 全文: 内政部
Janicki,Ryszard;马西耶·库特尼 并发结构。 (英语) Zbl 0814.68061号 西奥。计算。科学。 112,第1期,5-52页(1993年). 审核人:W.Zielonka(波尔多) MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Theor。计算。科学。112,编号1,5--52(1993;Zbl 0814.68061) 全文: 内政部
里扎德·贾尼基 具有优先级关系的并发系统的形式化语义。 (英语) Zbl 0589.68021号 学报信息。 24, 33-55 (1987).MSC公司:68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},Acta Inf.24,33--55(1987;Zbl 0589.68021) 全文: 内政部
里扎德·贾尼基;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 0559.68032号 西奥。计算。科学。 36, 27-58 (1985).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \发短信{R.Janicki},Theor。计算。科学。36,27-58(1985年;兹bl 0559.68032) 全文: 内政部