×

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

有色Petri网展开的改进。 (英语) Zbl 07670973号

Bell,Paul C.(编辑)等人,《可达性问题》。第15届国际会议,RP 2021,英国利物浦,2021年10月25-27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13035, 69-84 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

针对时间可达性和安全游戏的顽固集缩减。 (英语) Zbl 07497999号

Dima,Catalin(编辑)等,《定时系统的形式化建模和分析》。第19届国际会议,FORMATS 2021,巴黎,法国,2021年8月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过Petri游戏自动合成暂时正确的网络更新。 (英语) Zbl 1489.68157号

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

筛选结果依据…

主字段