@第{zbMATH07069228条，作者={Garavel，Hubert}，标题={嵌套单元{Petri}网}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={104}，页码={60--85}，年份={2019}，语言={英语}，DOI＝{10.1016/j.glamp.2081.11.005}，关键词={68Q85,68Q60}，zbMATH={7069228}，Zbl={1427.68195}}