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)