费德里卡·阿多巴蒂;卢卡·伯纳迪内洛;波梅罗，露西亚 完全可观察Petri网上的两层异步游戏。 （英语） Zbl 1464.68220号 Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》十五。柏林：斯普林格。莱克特。注释计算。科学。12530, 126-149 (2021).MSC公司：68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Adobbati}等人，Lect。注释计算。科学。12530，126--149（2021；Zbl 1464.68220） 全文： 内政部
施、雅;田聪;段振华;周梦初 使用MSVL对Petri网进行模型检查。 （英语） Zbl 1427.68210号 信息科学。 363, 274-291 (2016).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shi}等人，《信息科学》。363274-291（2016年；Zbl 1427.68210） 全文： 内政部