ProM CLI interrupting miner

Mayke93Mayke93 Posts: 2
I am running several miners on several data sets. Some sets cause the Alpha++ miner and the hybrid ILP to run too long.

Due to time constraints, I'd like to time them out. I tried to insert timelimiter in the script, which did not work. I implemented it with the executorservice which partially works, but it hangs on timing out the ILP miner. I think this is because Java won't just let one thread force terminate another.

My question is, in the ProM GUI, you can cancel running activity. How is this achieved?
Sign In or Register to comment.