"Create Sink" option for ILP Miner

rapidprom / rapidprom-source

Current development of the RapidProM Extension

http://www.rapidprom.org

14 stars 11 forks source link

"Create Sink" option for ILP Miner #32

Closed abolt closed 7 years ago

abolt commented 7 years ago

ILP miner could provide the option to create a sink in the resulting petri net for Soundness analysis. (In ProM as well)

s-j-v-zelst commented 7 years ago

I remember I looked into this. I also rember that I needed some little tweak of Eric's code to get this working. So far I didn't pursue this yet.

s-j-v-zelst commented 7 years ago

A recent theoretical development has enabled us to find relax-sound workflow nets with ILP Miner. It is already integrated in my branch, Will port this for the next release.