To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

Problem in conversion from Heuristic net to Petri net

hverbeekhverbeek Posts: 456
edited July 2010 in ProM5
Dear all,
I'm having some problems understanding the result of the conversion from Heuristc net to Petri net.
Consider the simple example log [1] and use the Heuristics Miner on it, you will obtain a model where the first two activities are, correctly, in loop. Now convert this network into a Petri net. I'm not sure the new model represents the same process. For example, in the Petri net, there is a place (the starting one, I guess) that has no connection. Even if this place is connected to the transition A, I think it's not the same process. I'm using ProM 5.2.

I'm not sure it's a bug, maybe I'm just missing something...Thank you in advance for your interest

Regards
--
[1] http://www.math.unipd.it/~burattin/public/problem-conversion-hn-pn.mxml
--
Andrea Burattin, PhD student
Process Mining Group
Department of Pure and Applied Mathematics University of Padua, Italy
Post edited by JBuijs on

Comments

  • hverbeekhverbeek Posts: 456
    edited July 2010
    Dear Andrea,

    The problem is that the Heuristic net does not have a clear start activity. The "Add Artificial Start Task Filter" has been build to get around these problems. If you apply this filter to the log, the Petri net will look fine. Please note that this Petri net contains an invisible (displayed black) transition. The original Petri net you obtained also started out with a number of invisible transitions, but these have been reduced away as they were redundant. Unfortunately, this leaves you with the impression that it would have connected the start place to transition A, but this is not the case: The Petri net would have resembled the enclosed Petri net.


    Cheers,

    Eric.
    Post edited by JBuijs on
Sign In or Register to comment.