托马斯·查泰恩;莫里斯·康兰;大卫·德尔菲厄;洛依格·杰泽奎尔;奥利维尔·亨里·鲁克斯 重置Petri网的Pomset互模拟和展开。 (英文) Zbl 07488447号 Inf.计算。 283,文章ID 104674,16 p.(2022).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chatain}等人,《信息计算》。283,文章ID 104674,16 p.(2022;Zbl 07488447) 全文: 内政部
克洛德·贾德;莱姆,迪迪埃;奥利维尔·H·鲁克斯。;路易斯·马里·特劳努埃兹 参数秒表Petri网的符号展开。 (英文) Zbl 1291.68289号 形式方法系统。设计。 43,第3期,493-519(2013).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Jard}等人,《形式方法系统》。设计。43,第3号,493–519(2013年;兹bl 1291.68289) 全文: 内政部 哈尔