Hi there,
appreciation for the initiative and a great work.
Unfortunately, there are some disturbing bugs in the program.
wrong transition handling:
- In some situations, transitions do not remove the tokens from the incoming circles.
- In some situations, transitions are not active even though they should (prerequirements are met).
I attached a model for mutex. Unfortunately does it not remove the central resource in all cases, so that mutex is not realized.
Cheers,
Felix
broken mutex
Fixed in version 4.1. This appears to be a result of places and transitions not properly being deleted during a save. There are duplicated arcs in the model that was attached.