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.

Cases Creation and conformation checking

The following is a sample petri net workflow drawn manually using WoPeD tool. And also i imported it in ProM tool.

Now, i need to create test cases, and check if the cases fit into model or not.
Can you please help me in this. I am really stuck. i am not sure how to create those cases and which plugin to use.
Based on the above model, i want to create cases(example,  login-take weight-wrap visit- discharge) and check the conformance of cases with the model.
Thank you so much. Thank you again.

Bigyan (Research Student, East Carolina University,USA)


  • See my answer in you previous question.
    I understand that you want to get answered as early as possible, but please try to avoid posting the same question on different threads. 
This discussion has been closed.