Characterization of Admissible Marking Sets in Petri Nets with Conflicts and Synchronizations