discover loops in Petri nets

mennawmennaw Posts: 13
which plugins can detect loops in Petri net process models and if you can recommend the research paper that explains how the plugins works.

Thanks in advance 


  • hverbeekhverbeek Posts: 910

    Any miner that uses the directly-follows relation to discover a Petri net can discover loops. This includes the Alpha miner, the Inductive miner, the hybrid ILP miner, ... See below for references to these miners.

    Kind regards,

    W. van der Aalst, T. Weijters and L. Maruster, "Workflow mining: discovering process models from event logs," in IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 9, pp. 1128-1142, Sept. 2004, doi: 10.1109/TKDE.2004.47.

    Leemans, S. J. J. (2017). Robust process mining with guarantees. Technische Universiteit Eindhoven.

    S. J. van Zelst, B. F. van Dongen, W. M. P. van der Aalst, and H. M. W. Verbeek, “Discovering workflow nets using integer linear programming,” Computing, vol. 100, iss. 5, pp. 529-556, 2018.

Sign In or Register to comment.