I have some problems with converting a heuristic net to a petri net. The heuristic net is very simple, but when converting it to a petri net (in ProM 6.1), 5 out of 6 invisible activities are included which are not necessary. Is there a way to solve this?? Or is someone familiar with this problem.
This is normal behaviour and I think this is caused by the 'default' way a heuristics net is converted to a Petri Net. By always including silent transitions the conversion also works for other cases where more activities are split/joined.
These silent transitions can be removed using the Murata rules. This is implemented in the plug-in called "Reduce silent Transitions".
it removes 5 of the 6 silent transitions, but the one that I want to keep is also removed and one that I want to removed, stays. Is there a way to solve this, since you cannot change the settings of the 'reduce silent transitions' plug-in. Otherwise I need to create a petri net manually, and I want to avoid this option.