叶希亚·阿卜杜·阿勒拉赫曼;毛里西奥·马特尔;尼尔·皮特曼 PO对重新配置的描述。 (英语) 兹伯利07719824 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 42-59 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Y.Abd Alrahman}等人,Lect。注释计算。科学。13572,42-59(2022;Zbl 07719824) 全文: 内政部
托马斯·查泰恩;莫里斯·科姆兰;大卫·德尔菲厄;杰泽克尔,洛伊格;奥利维尔·亨里·鲁克斯 重置Petri网的Pomset互模拟和展开。 (英语) Zbl 07488447号 Inf.计算。 283,文章ID 104674,16 p.(2022).MSC公司:第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人,《信息计算》。283,文章ID 104674,16 p.(2022;Zbl 07488447) 全文: 内政部
托马斯·查泰恩;斯特凡·哈尔;尤拉杰·科尔查克;洛伊奇·波列维;Aalok Thakkar公司 布尔网络中的并发性。 (英语) Zbl 1530.68190号 自然计算。 19,第1期,91-109(2020年).MSC公司:68问题85 37B10号机组 2010年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人,《自然计算》。19,编号1,91-109(2020;兹bl 1530.68190) 全文: 内政部 arXiv公司 哈尔
Janicki,Ryszard;乌卡斯·米库尔斯基 步迹和区间迹的代数结构。 (英语) Zbl 1497.68345号 芬丹。通知。 175,编号1-4253-280(2020).MSC公司:68问题85 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{Ł.Mikulski},Fundam。通知。175,编号1--4,253--280(2020;Zbl 1497.68345) 全文: 内政部
Janicki,Ryszard 关于抑制器和激活器网络的区间语义。 (英语) 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) 全文: 内政部
Janicki,Ryszard;码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基 对阶跃轨迹的不变结构进行分类。 (英语) Zbl 1423.68310号 J.计算。系统。科学。 104, 297-322 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}等人,《计算杂志》。系统。科学。104、297--322(2019年;Zbl 1423.68310) 全文: 内政部
托马斯·查泰恩;斯特凡·哈尔;洛伊奇·波列维 布尔网络:超越广义异步性。 (英语) Zbl 1511.37017号 Baetens,Jan M.(编辑)等人,《细胞自动机和离散复杂系统》。第24届IFIP工作组1.5国际研讨会,2018年6月20日至22日,比利时根特,AUTOMATA 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10875, 29-42 (2018).MSC公司:37B10号机组 37N25号 92B20型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人,Lect。注释计算。科学。10875,29-42(2018;Zbl 1511.37017) 全文: 内政部 哈尔
穆罕默德·阿尔加尼;Janicki,Ryszard 带约束弧的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) 全文: 内政部 链接
Laura M.F.Bertens。;码头Kleijn;桑德·希勒(Sander C.Hille)。;莫妮卡·海纳;马西耶·库特尼;Verbeek,Fons J。 生物梯度形成建模:结合偏微分方程和Petri网。 (英语) Zbl 1417.92041号 自然计算。 15,第4期,665-675(2016).MSC公司:92C40型 92年第35季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.M.F.Bertens}等人,《自然计算》。15,第4号,665--675(2016;Zbl 1417.92041) 全文: 内政部
Janicki,Ryszard;码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基 步骤跟踪。 (英语) 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) 全文: 内政部
托马斯·查泰恩;斯特凡·哈尔;马西耶·库特尼;斯特凡·施温 上下文网络中的非原子转换触发。 (英语) Zbl 1432.68302号 Devillers,Raymond(编辑)等人,Petri网和并发的应用和理论。第36届国际会议,PETRI NETS 2015,比利时布鲁塞尔,2015年6月21日至26日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9115, 117-136 (2015).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人,Lect。注释计算。科学。9115117-136(2015年;兹比尔1432.68302) 全文: 内政部 链接
马克·奥利弗·斯特尔;金敏英;卡罗琳·塔尔科特 分布式计算的其他模型背景下的部分有序知识共享和分级系统。 (英语) Zbl 1407.68339号 Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 402-433 (2014).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.-O.Stehr}等人,莱克特。注释计算。科学。8373、402--433(2014;Zbl 1407.68339) 全文: 内政部
H.C.M.克莱因。;M.库特尼。 一般约束网络的过程语义。 (英语) Zbl 1101.68699号 Inf.计算。 190,第1期,18-69页(2004年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.C.M.Kleijn}和\textit{M.Koutny},Inf.Compute。190,编号1,18--69(2004;Zbl 1101.68699) 全文: 内政部