弱引发规则二态加时变迁Petri网定性分析

来源 :信息与控制 | 被引量 : 0次 | 上传用户:boblllll
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN)它比Ramchandani的二态加权变迁Petri网(简称TTPN)更适于建模分析冲突结构,平行于无时间约束Petri网,给出了WTTPN的形式描述与分析框架,据此可对它进行定性分析,进而,讨论了WTTPN及其基网系统之间关系,证明了它们关于活性,有界(安全)性和可逆性等价。
其他文献
黄岗矿区位于大兴安岭南段成矿带的西南端.电子探针分析显示,矿区磁铁矿化学成分特征一致,FeOT含量89.34%~93.20%,平均91.44%;氧化物特征与前人划分的钙矽卡岩铁矿石整体类似
利用系统的结构信息,把非性相似组合系统通过线性状态反馈半全局渐近镇定的问题,转化为两个子系统同价的Riccati不等式的求某种对称正定解的问题。
1989年9月1998年2月,我们在西药常规抗痨基础上运用消液汤治疗结核性渗出性胸膜炎32例,疗效较为满意,现总结如下。1一般资料本组32例均系住院患者。男21例,女11例;年龄最大65岁,最小20岁,以青壮年为多;病程最
目的 观察CT引导肺部周围肿块穿刺活检的准确性和并发症。方法24例肺部周围型肿块均经X线胸片及CT等检查诊断,CT引导下用自动曹式切割针或抽吸式活检针活检及病理观察。结果
通过对阳春新钢铁有限责任公司2015—2016年烧结矿低温还原粉化率性能变化趋势进行分析,得出烧结矿低温还原粉化率影响因素及对应关系,自2016年下半年开始,重点从磁铁矿占比与烧
目前正在兴起和发展的人工智能和人工神经网络的研究,为复杂非线性系统的控制开辟了一条新路,本文将CMAC神经元网络用于CSTR系统的建模,取得了很好的仿真效果。
对于具有状态和控制输入不稳定时滞系统,给出了一种基于观测器鲁棒稳定方法,该方法通过求解两个Riccati方程实现,它适用于匹配不稳定系统,设计实例表明,该方法实现方便,具有较好的工程应用
“中国经济下半年增速仍有下行压力,三、四季度经济增速分别为7.4%和7.2%,但今年全年中国经济增速仍有可能维持在7.5%左右。”交通银行首席经济学家连平近日表示。他同时称,鉴于通过
文章概述了凡口铅锌矿采矿方法革新、采矿技术40多年来发展的历程,从采矿方法、充填工艺、采矿装备3个方面介绍了凡口铅锌矿的创新与发展成果,并展望了凡口铅锌矿采矿技术、采
介绍了凡口矿测量工作应用数字化技术,包括设立管理平台和健全数据库,建立测量数字化应用模式.并结合日常生产应用实际,详细阐述了资料整合管理、图形规范管理、工程精细化管理和图纸制度化管理等数字化应用的管理原则,探寻数字技术应用与矿山测量管理的结合模式.