基于Petri网的UML状态迁移策略

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户：tuyuantao

【摘要】

：

分析了统一建模语言（UML，Unified Modeling Language）状态图相关语义，阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力．为得到UML状态图无二义性的、可执行的和可

【作者】

：

姚淑珍金茂忠

【机构】

：

北京航空航天大学计算机学院

【出处】

：

北京航空航天大学学报

【发表日期】

：

2008年1期

【关键词】

：

PETRI网面向对象编程层次化系统合成 Petri net object oriented programming hierarchical system

【基金项目】

：

航空科学基金资助项目（01F51052）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

分析了统一建模语言（UML，Unified Modeling Language）状态图相关语义，阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力．为得到UML状态图无二义性的、可执行的和可验证的模型，在着色Petri网和层次化Petri网研究成果基础上，研究提出层次着色Petri网（HCPN，Hierarchical Colored PetriNet）．HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联．通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网．标

其他文献

三维五向编织复合材料弹性性能的数值预报

基于三维五向编织复合材料细观结构模型，通过假设挤压固化后编织纱线和轴纱分别具有六边形和正方形横截面以及分析纱线之间的空间几何关系，建立了该类材料的有限元模型．并且，采用

期刊

三维五向编织复合材料有限元法弹性常数单胞three dimensional and five directional braiding composi

导频脉冲载波频率的快速捕获与跟踪

针对短时导频脉冲载波频率的同步问题，提出一种快速捕获和跟踪方法．该方法采用相位推算法进行快速载波频率初估计，完成频率的捕获．相位推算法首先利用最小二乘法估计实采样点的相

期刊

导频脉冲载波同步频率估计相位推算法pilot pulse carrier synchronization frequency estimation ph

浅谈EBZ-160掘进机在煤巷掘进中的施工应用

在煤矿建设中，对于地质条件较为理想的煤矿巷道施工，采用掘进机进行煤巷的掘进施工，运用科学的施工方法和措施，可大大提高煤巷掘进的工作效率和经济效益，保障了煤巷施工的工程质量

期刊

煤巷EBZ-160掘进机掘进施工应用

五轴电液仿真转台的双马达同步控制

对五轴电液仿真转台的双马达同步驱动问题提出一种低成本方案。设计的控制器包括主免疫控制器与同步补偿器．其中，以主马达动静态性能最佳为设计目标，利用免疫算法的模糊自适应性

期刊

同步驱动免疫算法模糊控制伺服控制synchronizing drive immune algorithm fuzzy control servo sys

流体驱动高速机构中缓冲装置的优化设计

受流体驱动高速运动的机构，受阻后突然停止将导致零件变形甚至断裂．为得到缓冲结构的最佳方案，运用正交试验法从27种设计方案中确定了9个试验样本，并通过流固耦合与非线性有限元

期刊

吸能优化设计非线性系统有限元法流固耦合energy absorption optimization nonlinear systems finite

某涡喷发动机数值建模与改型设计

基于面向对象的部件级航空发动机性能计算模块，构建了某无人机用小型涡轮喷气式发动机的稳态性能计算模型，并根据该发动机原始性能实验数据，对构建的计算模型进行了可信度校核．在

期刊

涡喷发动机模型部件匹配改型turbojet engine model components match retrofitting

绿色营销的理论,措施及宏观监控体系

绿色营销的理论、措施及宏观监控体系万后芬（中南财经大学教授）随着世界性的绿色流潮的兴起，“绿色”一词已成为９０年代又一时尚性用语：绿色食品、绿色产品、绿色消费、绿色文化、绿

期刊

绿色营销理论宏观监控体系措施

深空探测车单轮牵引性能的离散元仿真

利用离散元数值分析方法,对矩形、直角梯形和三角形截面轮齿车轮与土壤颗粒单元的相互作用进行仿真研究.分析细观尺度下,土壤颗粒单元受3种轮齿车轮扰动后的接触反力分布规律.采用坐标转换和代数求和的数学方法,建立细观离散元分析结果与宏观车轮牵引性能参数的对应关系,推导土壤推力、行驶阻力及其挂钩牵引力的表达式,以研究轮齿截面的几何形状对车轮牵引性能的影响.计算结果表明,在相同行驶环境下,直角梯形轮齿车轮具有

期刊

深空探测车牵引性能通过性离散单元法planetary rover vehicle tractive performance trafficabilit

经支气管镜中药灌洗治疗肺系疾病初探

介绍经支气管镜进行中药灌洗治疗肺系疾病,对于开创新的中药治疗途径、缩短患者病程、减少医疗费用等方面有着重要的意义.通过对临床病例的观察,说明了此种方法使用于临床的

期刊

支气管镜灌洗肺系疾病中医药治疗

基于Petri网的UML状态迁移策略

其他学术论文