描述离散动态系统的集合标识Petri网:STPNs

来源 :系统工程理论与实践 | 被引量 : 0次 | 上传用户:dsq1980
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenS Petri Nets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够
其他文献
通过对发酵前后啤酒糟的成分分析和饲养试验表明,啤酒糟经真菌发酵后,可溶性糖、可溶性蛋白等成分均有一定提高.饲养试验表明,添加10%的发酵啤酒糟,生长猪比啤酒糟日增重提高7
因地制宣,选取当地来源丰富的麦秸部分替代木锯末作为发酵床养猪垫料.材料与方法:试验场选择40头体重6士0.560kg左右、体质健康的“长×大×白”三元去势公猪,随机分为4组,每
By using the methods of Hertz vector and angular spectrum transormation, the exact solution of non-paraxial elliptical Gaussion beam with general astigmatism ba
A novel method for producing rewritable optical memory with ultra-high storage density and ultra-high recording and readout speed is presented. A 120 fs, 800 nm
 运用面向对象思想,在面向对象仿真原子模型基础上,构建了决策支持系统的模型库,并应用到国防通信网多模型决策支持系统中,在实际使用中,为管理者提供了多种决策方案,说明了
 研究利用人工神经网络方法进行测井解释中有关储层参数的测算和油层识别,并实际地应用于我国某油田的测井解释问题中.应用表明,此方法在测井解释问题上有广阔的应用前景.
The hardware and the communication protocol of a scalable optical ring have been designed. A hardware routing has been achieved on the network interface card to
提出了通过逻辑蕴涵的演绎规则来构建频繁项集的简洁表示,而不是挖掘所有的频繁项,来降低频繁项集中的冗余性,并利用演绎规则来构建所有频繁项集的简洁表示,从而减少存取数据
Knowledge discovery in databases is concerned with extracting useful information from databases, and the immune algorithm is a biological theory-based and globa
国内CtoC市场已进入寡头竞争阶段,很大程度上归结于同质化竞争——一种市场竞争的必然产物,它不利于中国CtoC行业的良性发展。如何结合自有资源,实施“差异化策略”是中国Cto