Attach the Reachability (occurrence sequence) graph for the A-Associate CPN with all the predictates having a true

Posted Date: