class PetriNet::InfiniteReachabilityGraphError