机译:BPMN 2.0流程模型的验证:基于事件日志的方法
机译:BPMN模型向有色Petri网模型的转换和验证的方法
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:简短论文:BPMN进程分析:用于BPMN进程模型的正式验证和验证Eclipse插件
机译:使用BPMN的过程建模质量:一种模型驱动方法
机译:基于过程的重复事件数据建模方法基于在两种不同的假体治疗概念中牙齿脱落的发生情况进行了阐述
机译:BPMN Miner 2.0:发现分层和块结构化的BPMN流程模型