@第{zbMATH07156373条，作者={丁汝江和李国强}，Title={无通信{Petri}网}上覆盖性验证的有效实现，FJournal={软件杂志}，期刊={J.Softw.}，ISSN={1000-9825}，体积={30}，数字={7}，Pages={1939-1952}，年份={2019}，语言={中文}，DOI={10.13328/j.cnki.jos.005750}，关键词={68Q60,68Q85}，zbMATH={7156373}，Zbl={1449.68051}}