DEDS对象化高级Petri网模型研究--对象化高级Petri网上的一致性网络
Modeling Deds With Object-oriented High-Level Retri Nets--Consistent Nets on Objectoriented High-level Petri Nets
-
摘要: 针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识 进行完全划分,形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语 言的子集,因而可以用加色网来定义及分析对象化高级Petri网的各种不变量.
-
关键词:
- 对象化高级Petri网 /
- 一致性网络 /
- 加色网
Abstract: In this paper, in order to deal with the non-determinism of the firings of transitions in O-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.-
Key words:
- Object-oriented high-level Petri nets /
- colourde nets /
- consistent nets
计量
- 文章访问数: 2962
- HTML全文浏览量: 86
- PDF下载量: 1010
- 被引次数: 0