Menu

#34 incorrect treatment of transitions

closed-fixed
5
2012-04-28
2011-10-27
Felix
No

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

Discussion

  • Felix

    Felix - 2011-10-27

    broken mutex

     
  • Conner Hansen

    Conner Hansen - 2012-04-28

    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.

     
  • Conner Hansen

    Conner Hansen - 2012-04-28
    • assigned_to: nobody --> connerh
    • status: open --> open-fixed
     
  • Conner Hansen

    Conner Hansen - 2012-04-28
    • status: open-fixed --> closed-fixed
     

Log in to post a comment.

Auth0 Logo