@收款{zbMATH07689304，作者={Gieseking，Manuel and Olderog，Ernst-R{“u}diger}，标题={{Petri}游戏基准族的高级表示}，BookTitle={模型检查、综合和学习。本特·琼森60岁生日之际的论文}，国际标准图书编号={978-3-030-91383-0；978-3-0.30-91384-7}，Pages＝{115-137}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-91384-7_7}，关键词={68Q85,91A80}，zbMATH＝{7689304}，Zbl={1522.68364}}