×

找到3个文档(结果1-3)

具有受限位置环境的Petri网合成:经典和参数化。 (英语) Zbl 1489.68169号

Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12734, 292-311 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权标记图与循环可达图的有效综合,以及其他。 (英语) Zbl 1464.68236号

Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》十五。柏林:斯普林格。莱克特。注释计算。科学。12530, 75-100 (2021).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件