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.
convert to petri net using regions
when I use the plugin (convert to petri net using
regions) within prom6.11 to convert transition system(with options: not
limit collection size, not limit transition size) . it does not output
any thing and the processing continue run for ever. as it is shown in
the attach of the screen shoot for the processing