×

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

确定性并发系统。 (英语) Zbl 1489.68148号

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

1-安全Petri网中的一致随机生成。 (英语) Zbl 1423.68303号

Fédou,Jean-Marc(编辑)等,组合结构的随机生成——GASCom 2016。2016年6月1日至6月4日,法国科西嘉岛拉马拉那IGESA中心第十届GASCom会议记录。阿姆斯特丹:爱思唯尔。电子。注释离散数学。59,3-17(2017)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件