@第{zbMATH06998043条，作者={Lopes、Bruno和Benevides、Mario和Haeusler、Edward Hermann}，标题={Petri网}的命题动态逻辑，FJournal={IGPL的逻辑杂志}，日志={Log.J.IGPL}，ISSN＝{1367-0751}，体积={22}，数字={5}，页码={721--736}，年份={2014}，语言={英语}，DOI={10.1093/jigpal/jzu010}，关键词={68Q85,03B44,03B70,68Q60}，URL={semanticscholar.org/paper/8b624eca85b47a1fb3fbcae862c8f9e38efb9574}，zbMATH={6998043}，Zbl={1407.68335}}