Formal Modeling and Discovery of Hierarchical Business Processes: A Petri Net-Based Approach | IEEE Journals & Magazine | IEEE Xplore