#40 Reachability graph error

open
nobody
5
2012-10-25
2012-10-25
No

Hi,

When I use a place limit of tokens, this is not consider in the reachability graph generation.
Moreover, I need to close the graph file and re-open it to correct generate the reachability graph.
Using PIPE v.4.2.1 with the PIPE-ReachabilityError.xml (attached).

Discussion

  • Hi again,
    I update the PN example and saw that the error in reachability graph is done by using the inhibitor arc, this arc is the problem, it is not consider.