@第{zbMATH06185563条，作者={Ware，Simon和Malik，Robi}，Title={使用带注释自动机的离散事件系统的冲突保护抽象}，FJournal={离散事件动态系统}，日志={离散事件动态系统}，ISSN={0924-6703}，体积={22}，数字={4}，页码={451--477}，年份={2012}，语言={英语}，DOI={10.1007/s10626-012-0133-3}，关键词={93C65,94C15}，URL={hdl.handle.net/10289/6387}，zbMATH={6185563}，Zbl={1267.93111}}