Modeling Deds With Object-oriented High-Level Retri Nets--Consistent Nets on Objectoriented High-level Petri Nets
DEDS对象化高级Petri网模型研究——对象化高级Petri网上的一致性网络

In this paper, in order to deal with the non-determinism of the firings of transitions in 0-nets, predicates are used to classify the markings at places. Consistent nets, which are exactly equivalent to colored Petri nets, are formed upon O-nets. The language of an O-net is a sublanguge of any of its consistent nets, which means that the invariants of O-nets can be defined and analyzed with respects to conventional coloured Petri nets.