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).
Example of the reachability graph error
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.