By using the function of randomly firing transitions, PIPE found a shorter path to deadlock than the shortest path given in the state space analysis. Therefore, i assume, the state space analysis might be faulty.
Log in to post a comment.
