Business process analysis and real-world application scenariosMichiharu KudoTakahide Nogayamaet al.2013SITIS 2013
Pattern-based model checking for dynamic analysis of workflow processes with temporal constraintsYanhua DuWending Zhanget al.2013SITIS 2013
Business process discovery by using process skeletonizationMichiharu KudoAi Ishidaet al.2013SITIS 2013