ReachabilityGraph of a komplex petrinet works