论文部分内容阅读
引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束.最后,利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证.
基于Time Petri Nets的UML时序图分析
【摘 要】
：
引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束.最后,利用普通Petri网的可达性分析技术
【机 构】
：
复旦大学计算机信息技术系
【出 处】
：
计算机工程
【发表日期】
：
2005年19期
其他文献
介绍大连起重机厂通过合理使用电抗器;控制系统的改装;短网的改造以及增大电炉变压器容量等项技术改造,使5t电弧炉的单位电耗由1983年的600kWh/t降低为现在的506kWh/t。
以学生为主体,突出师生在教学过程中契合发展是当今课程与教学改革的重要话题,真正落实它需要建立完善的教学过程逻辑结构。主体性教学模式是在现代教育思想的指导下,在教学
课堂是实施素质教育的主渠道,课堂教学改革是深化基础教育课程改革的中心环节。对有效落实国家课程方案,提高课堂效率,提升教育教学质量,推进素质教育,具有十分重要的意义。
随着科学技术的进步,人们对外界信息的要求越来越高,在很多时候,单一的局部图像已经不能满足人们的需求,需要全景图像展示更多的视觉信息。在很多领域,比如摄影测量、医学影
微流体驱动与控制技术是微机械电子系统(MEMS)的一个重要分支,是构成大多数微系统中感应元件和执行器件的主要组成部分,也是MEMS发展需要解决的关键技术之一。本文针对现有微
<正> 随着社会主义市场经济的建立,政府职能的转变,跨地区、跨行业经济在快速发展,各级政府在沿海城市、较大城市和开放城市建立了一批政府驻外办事机构,如何开展驻外办事处
自我效能感和归因是影响学生学习的重要因素。本研究以班都拉(Bandura)的自我效能感理论和韦纳(Weiner)的归因理论为基础,旨在探讨初中生英语学习自我效能感和归因方式现状以
为了提高湖北省网球裁判队伍整体水平,满足湖北省网球赛事对裁判员的需求,推动湖北省网球运动的发展和普及,促进湖北省网球裁判队伍健康、快速发展,建设一支“风清气正、业务
<正>对话教学在高中历史课程的教学中,能够积极地发挥对教学的辅助作用。合理的对话不仅能够拉近师生间的距离,加强学生间的交流合作,也能够深化学生们对于教学内容的理解与
本研究在查阅大量的文献资料,专家访谈、询问专家意见和建议的基础上,在体育文化素养内容构成拟定指标中选出平均数的构成大于4的指标,共有18个,其中4个体育知识构成:体育基