@第{zbMATH07341960条，作者={兰、郝和童、尹和郭、金和西祖、卡拉}，标题=｛验证{C} -可检测性使用{Petri网}，FJournal={信息科学}，期刊={信息科学}，ISSN={0020-0255}，体积＝{528}，页码={294--310}，年份={2020年}，语言={英语}，DOI＝{10.1016/j.in.2020.04.024}，关键词={68Q85,93C65}，zbMATH={7341960}，Zbl={1459.68146}}