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.
Hi everybody, I'm trying to use the "Mine transition system" plug-in and I noticed that the transition system got at the end of the wizard varies depending on what I have selected between the following options: "List", "Multiset", "Set", "Fixes Length Set" (see the attachment). Someone can tell me the differences between these options? Thank you in advance..