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?