@第{zbMATH07135655条，作者={Chalopin，J{\e e}r{\e e}mie和Chepoi，Victor}，标题={1-安全{Petri}网和特殊立方体复合体。{等价}和应用}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积={20}，数字＝｛3｝，页码={49}，注={Id/No 17}，年份={2019}，语言={英语}，DOI={10.1145/3322095}，关键词={68Q85,03B70}，zbMATH={7135655}，Zbl={1433.68243}}