@第{zbMATH07167471条，作者={Erofeev，Evgeny and Barylska，Kamila and Mikulski，{L}ukasz and Pi{k{a}tkowski，Marcin}，Title={生成所有最小{Petri}网不可解二进制字}，FJournal={离散应用数学}，日志={离散应用数学}，ISSN={0166-218X}，体积={274}，页码={35--53}，年份={2020}，语言={英语}，DOI={10.1016/j.dam.2019.04.023}，关键词={68Q45,68Q85,68R15}，zbMATH={7167471}，Zbl={1434.68244}}