Refinement; BPMN; Verification; LTL; NuSMV;
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:BPMN 2.0流程模型的验证:基于事件日志的方法
机译:使用细化模式验证BPMN模型的新方法
机译:使用BPMN的过程建模质量:一种模型驱动方法
机译:面向模式的建模是验证和验证功能结构植物模型的一种新方法:鳄梨年增长模块的演示
机译:BPMN 2.0流程模型的验证:基于事件日志的方法
机译:计算科学:指导正式发展:建模和细化模式