雷蒙德·魔鬼队 过渡系统的联接和乘积及其在Petri网综合中的应用。 (英语) Zbl 1522.68360号 芬丹。通知。 183,编号1-2,1-31(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers},芬丹。通知。183,编号1--2,1--31(2021;Zbl 1522.68360) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;托马斯·胡贾萨 加权标记图与循环可达图的有效综合,以及其他。 (英语) 兹比尔1464.68236 Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》十五。柏林:斯普林格。莱克特。注释计算。科学。12530, 75-100 (2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人,Lect。注释计算。科学。12530,75-100(2021;Zbl 1464.68236) 全文: 内政部 arXiv公司
雷蒙德·魔鬼队 过渡系统的衔接及其在Petri网综合中的应用。 (英语) Zbl 07796217号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 113-126 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers},莱克特。注释计算。科学。11522、113-126(2019;Zbl 07796217) 全文: 内政部