Efficient state-based analysis by introducing bags in Petri nets color domains.