论文部分内容阅读
提出了一种弱引发现规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比现有三态加变迁Ｐｅｔｒｉ网更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析，证明了ＷＴＴＰＮ与其基网系统关于活性，有界（安全）性和可逆性等价。
一种三态加时变迁Petri网的形式比描述与分析
【摘 要】
：
提出了一种弱引发现规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比现有三态加变迁Ｐｅｔｒｉ网更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析
【机 构】
：
南京理工大学动力学院
【出 处】
：
控制与决策
【发表日期】
：
1998年2期
其他文献
脊柱滑脱常可引起腰痛,下肢放射痛,经保守治疗无效时,常采用手术治疗.我院自1996年以来,采用SF内固定器[1]治疗腰椎滑脱21例,复位率达95%,取得满意疗效.现将术中护理体会报道
很多学生在日常学习的过程中对于道德与法治课程了解不是很深刻,并且在潜意识里认为学习道德与法治的意义不大,从而忽视了这门课程的重要性.其实,学习这门课程是非常有必要的
习作教学是语文教学中非常重要的部分,习作训练可以强化小学生的语言组织能力,有效提高小学生的综合学习素养水平。语文教师在进行习作教学的时候,注意采取有效的教学方法,为
在电力系统推广Ｐｈｉｌｉｐｓ－Ｈｅｆｒｏｎ模型的基础上［１，２］，首次系统地将传统的相位补偿法应用于灵活交流输电稳定器（ＦＡＣＴＳ－ｂａｓｅｄｓｔａｂｉｌｉｚｅｒ）的设计，以镇定电力系统振荡，提高系统的稳定性。本篇将相位补偿法推广应用于多机电力系统，并
童话天堂,世界九寨。刚刚过去的"双节"期间,"补妆"归来的九寨沟景区接待游客13.81万人次,门票收入1938.58万元,分别增长297.98%和289.47%。历经三年灾后重建,"童话世界"归来,
应用混沌方法对电力系统历史负荷时间序列进行数理统计处理，并将这种混沌特性应用于知期负荷预测。不直接考虑气候等随机因素，只要根据过去负荷时间序列及计算所得的Ｌｙａｐｕｎｏｖ指数规律，就
【摘要】一直以来，写作教学都是小学语文最重要的教学内容之一。简单来说，写作是一种十分重要的语言表达方式，可以视为用文字表达感情、反映事物、传递信息、交流沟通的过程。毋庸置疑，写作能力并不是一种孤立存在的语文素养，而是和其他方面的语文活动具有十分密切的联系，尤其是阅读活动，更是对写作能力的提升具有十分重要影响。从当前的实际情况来看，课外阅读作为课内阅读的一种补充和延伸，其重要性已经逐渐受到教师的认可
<正> 近年来,急性心肌梗塞(AMI)的治疗取得了较大进展.早期溶栓治疗和血管成形术的应用.使大量濒临死亡的心肌得以挽救,但却遗留下许志处于危险状态的心肌.因此.对于运动试验