段振华;汉娜·克劳代尔;马西耶·库特尼 复合Petri网的ITL语义。 (英语) Zbl 1283.68240号 J.日志。阿尔盖布。程序。 82,第2期,95-110(2013). 审核人:安娜·拉布拉(罗马) MSC公司:68问题85 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,J.Log。阿尔盖布。程序。82,第2号,95-110(2013;Zbl 1283.68240) 全文: 内政部
加布里埃尔·乔巴努;马西耶·库特尼 进程代数和Petri网中的时间移动性。 (英语) Zbl 1230.68154号 J.日志。阿尔盖布。程序。 80,第7期,377-391(2011). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{M.Koutny},J.Log。阿尔盖布。程序。80,第7号,377--391(2011;Zbl 1230.68154) 全文: 内政部