论文部分内容阅读
文中提出的弱引发三态加时Ｐｅｔｒｉ网比现有三态加时变迁Ｐｅｔｒｉ网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统；给出其动态行为形式化描述与分析框架；基于此和受控执行概念，并结合实际并发系统的一类调度问题，研究其动态行为的一些性质，有关结构可用于优化并发系统的有限资源的配置。
弱引发三态加时变迁Petri多动态行为分析
【摘 要】
：
文中提出的弱引发三态加时Ｐｅｔｒｉ网比现有三态加时变迁Ｐｅｔｒｉ网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统；给出其动态行为形式化描述与分析框架；基于此和受控执行概念，并结合
【机 构】
：
河南机电高等专科学校电气工程系,河南电子工业学校
【出 处】
：
河南机电高等专科学校学报
【发表日期】
：
2000年2期
其他文献
1 管理落后，分工不明确目前，我国大多数小型养殖户的老板都没有接受过正规的现代管理知识的培训，专业管理知识和能力匮乏，因而不利于自身企业的长远发展。
本文从汽车轴承使用环境条件入手，对汽车用轴承在材料选用、表面热处理、整体处理方法等方面进行了简要分析。
近几年来，猪病疫情多发，且病征复杂，多为多发性、继发性混合感染，诊治很困难。我们对疫情期间猪场疫病防控作了如下总结，供大家参考。
素质教育的开展必须充分重视人们的心理层面,遵循人的身心发展规律,因势利导是素质教育的主要途径。结合心理学有关知识,对素质教育的内涵及实施素质教育的途径和方法进行探
实现建筑工程的质量目标,需要进行质量目标策划,并在施工过程中逐步落实.建筑工程质量的策划,是在把分部分项工程质量目标分解的基础上,确定关键的分部分项工程,最终保证建筑
英语写作学习必须刻苦勤奋,必须有耐心和决心,但也并非无原则和技巧可循.文中从明晰、简洁、感染力、组织等四个方面分析了如何写好英语作文.
通过分析大学口语教学的重要性，剖析制约学生口语水平提高的原因，探讨提高大学生口语能力的有效策略。
黄河三角洲平原水文地质条件差,地基承载力低,地下水位高、土质差且分层不均匀.针对这种客观不利条件,介绍施工中的主要环节所采取的技术措施.
教学方法的运用是教学目的得以实现的重要手段,在授课过程中,首先要找准重难点,了解学情,采用适合实际学情的教学方法,灵活地加以运用;其次抓住主要矛盾,抓住知识之间的联系;
1 提高对教育科学研究重要性的认识教育科学研究是提高体育教学训练质量的必要途径.搞好教育科学研究有着多方面的意义与作用.首先,体育教师要进行教育科学研究,就必须用教育