addded wildcard expressions for reset arcs