Formal Modeling and Discovery of Hierarchical Business Processes: A Petri Net-Based Approach

Business processes are critical for information systems to control workflows and deliver services. Although existing process discovery techniques can generate flat process models from business event logs, few of them have investigated the notion of hierarchy (i.e., subprocesses) yet. To fill the gap, this article first defines the concept of hierarchical Petri nets (HPNs), which can support the formal modeling and correctness verification of processes with subprocesses. Followed by that, we propose an approach which can effectively discover HPNs from event logs with lifecycle information. Moreover, to quantify the quality of discovered HPNs, details on how to transform an HPN to a classical Petri net are given such that existing metrics can be applied. All proposed approaches have been fully implemented in ProM, and experiments over both synthetic and real-life event logs demonstrate that our approach can effectively discover hierarchical process models. Specifically, compared to exiting approaches on processes discovery, our approach can generally perform better in terms of model quality.