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

摘要

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