@第{zbMATH07161312条，作者={Akshay，S.和H{'e}-lou{“e}t，Lo{”{i}}c和Phawade，Ramchandra}，Title={在{Petri网}中结合自由选择和时间}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={110}，页码={29}，注={Id/编号100426}，年份={2020年}，语言={英语}，DOI＝{10.1016/j.glamp.2081.11.006}，关键词={68Q85}，zbMATH={7161312}，Zbl={1451.68190}}