Modeling DEDS with Object-oriented High-Level Petri Nets-Objectoriented High-Level Petri Net Models of FMS
DEDS对象化高级Petri网模型研究——柔性生产线对象化高级Petri网模型

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.