一个基于HOOPN的Petri网模型及其应用

来源 :华中科技大学学报(自然科学版) | 被引量 : 0次 | 上传用户:ii688
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示.HOOPN支持主要的面向对象的特征,包括抽象、封装、模块化对象、继承和多态.HOOPN可以展开至下一层Petri网,从而支持系统设计的渐增模式.使用HOOPN建立了一个信息系统的模型,验证了HOOPN对面向对象特征的支持,并为一个企业信息应用系统和业务过程建模提供了范例.
其他文献
针对传统防火墙存在的不能防内部攻击、单一失效点等问题,提出了一种自适应的分布式微防火墙体系结构.在该体系结构中,基于包过滤的微防火墙运行在受保护实体上,并与微入侵检
智能移动机器人在提高生产效率、提升生活质量方面发挥了重大作用,自主导航是智能移动机器人的核心能力,也是移动机器人领域的研究热点。相比视觉、激光、惯性导航等传统的移动机器人导航技术,射频识别(RFID)技术由于其具有唯一ID识别、非视距、不受光照影响、自动识别、成本低廉等优势在机器人导航领域中显示出独特的潜力。针对现有RFID导航技术中普遍存在的需铺设大量参考标签、导航轨迹曲折、实时性差等问题,本论
在全舰计算环境技术架构的基础上提出了全舰计算环境安全服务架构.安全服务架构由安全服务代理、安全服务中间件、安全引擎、安全管理组成.对安全服务代理、安全服务中间件和
讨论了应用于计算天线近场散射问题的推广的理想匹配层吸收边界条件的问题。所提出的方法在分析天线近场散射问题中取得了比较好的效果,数值计算的结果表明了该方法的有效性。