论文部分内容阅读
时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。时间约束的经入使ＰＣＰＮ‘Ｓ的演化与系统每一时刻的状态都密切相关，导致网的动态复杂性。目前有关ＴＣＰＮ’Ｓ状态可达性的研究仅局限于一些较简单的网。进一步研究了ＴＣＰＮ‘Ｓ，给出了更一般的可达性分析及变迁可调度决定算法。
时间约束Petri网的状态可达性分析算法
【摘 要】
：
时间约束Ｐｅｔｒｉ网是具有广义时间约束的一类Ｐｅｔｒｉ网。时间约束的经入使ＰＣＰＮ‘Ｓ的演化与系统每一时刻的状态都密切相关，导致网的动态复杂性。目前有关ＴＣＰＮ’Ｓ状态可达性的研究仅局限于一些较简单的网
【机 构】
：
西安交通大学系统工程研究所
【出 处】
：
系统工程与电子技术
【发表日期】
：
2000年7期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
基于载荷谱对地铁车辆转向架构架进行了寿命预测及可靠性评价,建立了疲劳强度可靠性模型并进行了试验验证,结果表明该模型可用于预测不同服役寿命下构架焊缝结构的可靠度。
全国法律服务专用电话号码不统一、群众记忆拨打不便的难题将于近期得到彻底解决。日前,信息产业部已就解决法律服务专用电话短号码问题致函司法部和各地电信管
The number
期刊
论述了Ｔｅｎｃｅｌ纤维水刺非织造布的主要研制，分析了产品性能及其与原料配比的关系，并指出了Ｔｅｎｃｅｌ纤维水刺织造布工艺成熟可靠。
结构使用中的船舶操纵器视景系统并针对以处理模拟图像信号为主的视景复视环境，就目前视景仿真器中图形，图像，视频处理技术及ＶＲ仿真应用或正在探索的应用研究，提出了模拟器中可以采
国内某核电站盐酸系统衬胶管道安装后短期内频繁出现管道腐蚀泄漏和堵塞问题,通过对腐蚀形貌和盐酸成分分析,确定了缺陷产生的原因。制定整改措施后,从根本上解决了衬胶管道
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
为进一步增强消费对经济发展的基础性作用，加快破解制约居民消费最直接、最突出、最迫切的体制机制障碍，根据《中共中央、国务院关于完善促进消费体制机制进一步激发居民消费潜
报纸