Abstract: In this paper, a new extension to Colored Petri net models (object-oriented high-level Petri nets) is presented with the following features: describing the individualities of tokens (processes) with partially-ordered sets, making the geometric and algebraic structures and operations independent of the concrete individualities of processes; covering the tokens with predicates, capable of mode ling the logical hierarchies of the set of physical events in one predicate-multisets algebra; capable of modeling complex free-path workshop system in a compact form.