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.

Using Replay a log on Petri Net for Conformance Analysis plugin

hfkhammash
hfkhammash
in - Usage
Hi everyone, 

I have tried to use "Replay a log on Petri Net for Conformance Analysis" plugin to check the alignment between some logs and models. Each name of events in the log exactly matches the name of the corresponds transition in the Petri net. The replay result when - I visualized it by using Project Alignment to Log (PNetReplayer) - shows that Cases replayed, in STATS FORM RELIABLE ALIGNMENTS, are 0. Also, all alignments are not reliable. Any ideas why is this happen?  :#

Cheers,
H. 

Comments

  • hverbeek
    hverbeek
    Hi,

    The most likely explanation for this is that your model does not allow you to reach the final marking from the initial marking.

    One of the requirements on an alignment is that it forms an executable path in the model from the initial marking to the final marking. If no such path exists, the alignment is called unreliable.

    Kind regards,
    Eric.
  • hfkhammash
    hfkhammash
    Hi Eric,

    Thank you for your response. :)
    You’re definitely correct. The models were not sound and there were deadlocks.

    Kind regards
    H.
Sign In or Register to comment.

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Categories

In this Discussion