Control law for timed marked graph constrained by marking exclusion constraint OR/AND