Department of Decision Sciences and Information Management, Faculty of Economics and Business, KU Leuven, Leuven, Belgium;
Department of Information Systems and Operations, Vienna University of Economics and Business, Vienna, Austria;
Department of Decision Sciences and Information Management, Faculty of Economics and Business, KU Leuven, Leuven, Belgium;
Department of Information Systems and Operations, Vienna University of Economics and Business, Vienna, Austria;
Declarative process models; Model checking; Process mining;
机译:混合范式流程模型的一致性检查
机译:Fusion Miner:混合范例模型的过程发现
机译:用于检查多视角声明性流程模型的语言无关的展示
机译:混合范式流程模型的模型检查在发现语境中发现符合声明和程序之间的契合
机译:替代非线性混合模型的拟合优度检验方法及其在肉牛生育性状中的应用
机译:第二语义语义和句法处理的事件相关潜在研究:来自陈述/程序模型的证据
机译:Fusion Miner:混合范例模型的过程发现