New DiSCover plugin

ProM 6.12 will contain a new discovery algorithm called DiSCover. This algorithm discovers an accepting Petri net from an event log using a collection of DFGs (Directly Follows Graphs). From every DFG, a state machine WF-net will be discovered which will then be merged by synchronizing them on the visible transitions (that is, on the … [Read more…]

ProM 6.12 release: Alpha candidate available

The alpha candidate for the ProM 6.12 is available at Especially if you expect to use ProM 6.12 in your publications (say, for ICPM 2022), it would be good to test whether the alpha candidate does what it is supposed to do. If not, please let me know. Fixes for the alpha candidate are … [Read more…]