×

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

状态分离的图形理论特征。 (英语) Zbl 1444.68112号

Steffen,Bernhard(编辑)等人,SOFSEM 2017:计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议,爱尔兰利默里克,2017年1月16日至20日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。10139, 163-175 (2017).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

限制类网的Petri网综合。 (英语) Zbl 1346.68140号

Kordon,Fabrice(编辑)等人,Petri网和并发的应用和理论。第37届国际会议,PETRI NETS 2016,波兰托伦,2016年6月19-24日。诉讼程序。查姆:施普林格(ISBN 978-3-319-39085-7/pbk;978-3-3169-39086-4/电子书)。计算机科学讲座笔记9698,79-97(2016)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

描述Petri网可解二进制字。 (英语) Zbl 1346.68127号

Kordon,Fabrice(编辑)等人,Petri网和并发的应用和理论。第37届国际会议,PETRI NETS 2016,波兰托伦,2016年6月19-24日。诉讼程序。查姆:施普林格(ISBN 978-3-319-39085-7/pbk;978-3-3169-39086-4/电子书)。计算机科学讲座笔记9698,39-58(2016)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段