×

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

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

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

过渡系统的衔接及其在Petri网综合中的应用。 (英语) Zbl 07796217号

Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。注释计算。科学。11522, 113-126 (2019).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

软件