DEDS对象化高级Petri网模型研究--对象化高级Petri网上的一致性网络

？针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识进行完全划分,形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语言的子集,因而可以用加色网来定义及分析对象化高级Petri网的各种不变量.