@第{zbMATH07047259条，作者={Masopust，Tom{\'a}{\v{s}}和Yin，Xiang}，标题={确定标记{Petri}网}的可检测性，FJournal={Automatica}，日志={Automatica}，ISSN={0005-1098}，体积={104}，Pages＝{238-241}，年份={2019}，语言={英语}，DOI={10.1016/j.automatia.2019.02.058}，关键词={93B07,93C65,68Q85}，zbMATH={7047259}，Zbl={1415.93063}}