排序方式: 共有9条查询结果,搜索用时 250 毫秒
1
1.
2.
针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识
进行完全划分,形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语
言的子集,因而可以用加色网来定义及分析对象化高级Petri网的各种不变量. 相似文献
3.
5.
DEDS对象化高级Petri网模型研究——柔性生产线对象化高级Petri网模型 总被引:1,自引:1,他引:0
在加色网基础上,提出一种新的扩展Petri网模型.该模型具以下特点:对进程演化的
有序结构建立偏序集数据抽象,使网络的几何结构与代数运算脱离具体进程特征;使用谓词
集对加入变迁的token进行覆盖,可以集中描述物理事件集的层次逻辑结构;能方便有效地
描述非固定流程生产系统. 相似文献
6.
分析讨论了建筑给排水设计中常用节水节能措施,主要有变频叠压供水、出水压力控制、太阳能—空气源热泵联合供热水、雨水利用、采用节水型生活用水器具等,并总结了节水节能措施设计要点。 相似文献
7.
8.
9.
1