机译:带有数据的概念性工作流网的健全性验证:以最高精度尽早发现错误
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
conceptual workflow models; soundness; refinement; verification; correctness; may/must semantics;
机译:基于Petri网结构理论的工作流合理性验证
机译:经典声音的格式正确的工作流/ Petri网验证的解析方法
机译:一种格式正确的工作流/ Petri网验证经典稳健性的分析方法
机译:重新审视工作流的稳健性:在保持概念性的同时检查数据是否正确
机译:验证分层数据驱动的工作流程
机译:可靠地检测和验证线性关系以使用技术错误估计值生成代谢网络
机译:工作流验证:使用基于petri网的技术查找控制流错误