基于分层面向对象Petri网的软件建模方法研究

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:ej17255
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。
其他文献
从20世纪末开始的我国基础教育新课程改革,注重知识与技能、过程与方法、情感态度与价值观的统一,注重学生创新精神、实践能力和个性特长的培养,这一培养目标与创造学的创始人奥
基于多分辨率建模理论及数值仿真技术,研究了交通多分辨率仿真的必要性及可行性,在此基础上提出了交通多分辨率仿真的理论架构和实现框架,并通过C++实现了该仿真系统,为进一步
浅层气是一种重要的海洋工程地质灾害,能对钻井、石油平台、海底光缆、输油管线等海洋工程造成严重的破坏。气体的存在改变了海洋沉积物的力学性质,很多海洋工程的设计和施工
海冰是极区最活跃易变的成分,是海气交界面具有热力隔绝效应的区域,它通过热力学、动力学过程以及在时空上的反馈机制直接影响海洋和大气的能量交换和物质交换,对区域乃至全
笔者以厦门PX项目事件为例,以房地产财政收入制度的视角分析了中国城市政府的行为逻辑。研究发现,随着住宅开发和交易的完成,现有的房地产财政收入制度对地方政府改善环境质
<正>西安咸阳国际机场是全国十大机场之一西安咸阳国际机场位于中国地理中心,是全国十大机场之一,旅客吞吐量长期排名前列。2018年以来,在发展"三个经济"的理念引导下,陕西临
读写能力的萌发从出生就开始,现在越来越多的研究指出,父亲在儿童读写能力发展上有更突出的作用,父亲利用其自身语言特点、互动方式和亲子关系等的独有作用,使得父母教育水平
马基雅维里认为,获取和保持国家是政治的最高理由。在君主国和共和国两种情形下他都强调,最根本的政治素质是"德行(virtu)",而非道德美德。强大的德行能依照政治情势的必然要
基于近期赴川、渝开展金融支持城镇化建设专题调研取得的一些重要发现,本文提出金融支持新型城镇化建设的基本原则和相关配套措施,试图对金融业支持新型城镇化建设问题作出宏
尽管近年来中国食品安全状况总体好转,但面临的形势依然严峻,食品安全事件在流通环节屡有发生。因此,加强流通领域的食品安全管理是当前中国食品安全工作的研究重点。本文从