@第{zbMATH06943860条，作者={Li，Ben和Khlif-Bouassida，Manel和Toguy，Armand}，Title={使用验证器网}对有界和无界标记{Petri网}的实时可诊断性分析，FJournal={国际应用数学与计算机科学杂志}，期刊={Int.J.Appl.Math.Comput.Sci.}，ISSN={1641-876X}，体积={28}，数字={2}，页码={269--281}，年份={2018年}，语言={英语}，DOI={10.2478/amcs-2018-0019}，关键词={93C65,93B07,68Q85}，zbMATH={6943860}，Zbl={1396.93090}}