Wil M.P.范德阿尔斯特。 Lucent流程模型和半透明事件日志。 (英语) Zbl 1428.68207号 芬丹。通知。 169,编号1-2,151-177(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \发短信给基金会。通知。169,编号1--2,151-177(2019;Zbl 1428.68207) 全文: 内政部
彼得·扬查尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 状态向量加法系统可达集的共有性和共空性。 (英语) Zbl 1428.68200号 芬丹。通知。 169,编号1-2,123-150(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Jančar}等人,Fundam。通知。169,编号1--2,123-150(2019;Zbl 1428.68200) 全文: 内政部
吕迪格·瓦尔克 Petri摆线系统的形式属性。 (英语) Zbl 1436.68215号 芬丹。通知。 169,编号1-2,85-121(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Valk},芬达姆。通知。169,编号1-2,85-121(2019;兹bl 1436.68215) 全文: 内政部
卡斯滕·沃尔夫 使用union/find对各种Petri网类进行综合。 (英语) Zbl 1428.68208号 芬丹。通知。 169,编号1-2,57-84(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Wolf},芬达姆。通知。169,编号1--2,57-84(2019;Zbl 1428.68208) 全文: 内政部
里扎德·贾尼基;马西耶·库特尼 反链的操作语义、区间顺序和序列。 (英语) 兹比尔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;Zbl 1428.68178) 全文: 内政部
雷蒙德·魔鬼队;托马斯·胡贾萨 加权标记图Petri网的分析与综合:精确和近似方法。 (英语) Zbl 1436.68210号 芬丹。通知。 169,编号1-2,1-30(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}和\textit{T.Hujsa},Fundam。通知。169,编号1--2,1--30(2019;Zbl 1436.68210) 全文: 内政部
维克托·科门科(编辑);码头Kleijn(编辑);沃伊切赫·彭泽克(编辑);奥利维尔·H·鲁克斯。(编辑) Petri网和并发的应用和理论:2018年Petri网精选论文特刊。前言。 (英语) Zbl 1428.68029号 芬丹。通知。 169,编号1-2,v-vi(2019).MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}(编辑)等人,Fundam。通知。169,编号1--2,v-vi(2019;Zbl 1428.68029) 全文: 内政部