关键词: 业务流程；工作流网；模型改进；一致性检测；&alpha, 算法

Abstract: In order to optimize and manage the business processes, it needs to discover the model from a large number of event logs and improve and check the model. Based on the highway snow and ice emergency response process event logs, this paper makes comparison experiments among different algorithms on the ProM platform, finally chooses α-algorithm to mine the business processes from event logs and obtains the workflow net model. The α-algorithm deals with some special process structures and situations inaccurately, for example, invisible tasks, rename tasks, special loop structure and non-free choice process constructs. So this paper improves the mined model according to the realistic business rule and checks the improved model. Finally this paper proves that the improved model has a perfect fitness through conformance checking.

Key words: business process, workflow net, model improvement, conformance checking; α-algorithm