一种面向对象Petri网模型的语义和行为分析

来源 :计算机科学 | 被引量 : 0次 | 上传用户：JK0803_gengjixiang

【摘要】

：

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型(Objec

【作者】

：

杨武李晓渝曹泽瀚

【机构】

：

重庆工学院计算机系,重庆大学计算机学院

【出处】

：

计算机科学

【发表日期】

：

2005年10期

【关键词】

：

Petri 面向对象建模 PETRI网模型面向对象思想行为分析语义面向对象Petri网面向对象系统 OOPN 图形表示基本定义 Petri Ob

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型(Object-Oriented Petri Net,OOPN),给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.

其他文献

HSG1400型卧式振动卸料过滤离心机在望峰岗选煤厂的应用

离心脱水机是选煤厂用于细粒级产品水分脱除的必不可少的设备,为选煤厂产品水分的降低,产品的运输起到了至关重要的作用,其运行效果直接影响到选煤厂的效益。简要介绍HSG1400

期刊

卧式振动卸料离心脱水机筛篮产品水分horizontal vibration-discharge centrifuge sieve basket

钙、钠添加剂对平朔煤热解特性的影响

采用盐酸、氢氟酸分步酸洗脱除平朔原煤中灰分，再用浸渍法向脱灰煤中添加Ca（Ac）2和NaAc，制得实验样品。利用固定床反应器对实验样品进行热解实验，气相色谱在线检测气相产物，热天平

期刊

热解钙盐钠盐气相产物热效应pyrolysis calcium sodium gaseous products thermal effe

用石英砂替代标准无烟煤测定粘结指数的研究

通过改变石英砂掺比后的粘结指数试验表明随着石英砂掺入比例的减少试验煤样的似粘结指数逐渐增加，以石英砂为添加物的混焦似粘结指数与混焦粘结指数二者的比值同配合比具有非

期刊

粘结指数标准无烟煤石英砂相关方程coking index standard anthracite quartz sand correspon

中国油页岩开发利用现状及发展前景

简单介绍了油页岩的用途及中国油页岩开发利用的历史，总结了油页岩的干馏工艺技术和开发利用现状，展望了油页岩的发展前景。

期刊

油页岩页岩油干馏工艺oil shale shale oil retorting technique

谢桥深部地区煤质变化规律研究

为了提高谢桥矿深部煤炭资源的利用率,选取矿区中13-1,8,6,5,4-2这5个煤层的煤芯煤样进行研究。对煤岩的组分进行了分析,显微组分以镜质组为主,次为丝质组,在纵向上从上到下

期刊

深部煤煤质特征煤深成变质deep coal coal quality characteristic plutonic metamorphism

煤基吸附剂脱除燃煤电厂烟气中汞的研究进展

燃煤电厂产生的烟气是汞排放的主要来源之一。概述了目前电厂烟气中汞污染情况和主要脱汞方法,介绍了煤基吸附剂在汞污染控制中的应用。煤基吸附剂应用于烟气脱汞时其吸附活

期刊

活性炭褐煤活性焦烟气脱汞吸附activated carbon lignite activated coke mercury removal a

张北煤矿地面钻孔抽采瓦斯及破断原因分析

通过张北煤矿地面钻孔抽采瓦斯技术的试验,介绍了地面钻孔的设计及瓦斯抽采考察情况。通过对现场试验数据的考察,对地面钻孔的破断机制进行了分析,对今后地面钻孔合理布置及

期刊

地面钻孔瓦斯抽采破断关键层surface drilling gas drainage breaking critical layer

煤矿区土壤FDA活性测定及优化

针对煤矿区被污染土壤中微生物活性低、种群结构相对单一和污染物胁迫等特点,对其土壤微生物的荧光素双醋酸脂（FDA）活性测定的关键步骤进行探讨和优化。结果表明,在煤矿区污染

期刊

煤矿区土壤FDA活性污染抑制测定优化coal mining area soils FDA activity contamination contro

信息战环境下基于数据依赖的文件可靠恢复

虽然现有的安全操作系统能够防止非授权用户的访问，但是它们不能阻止授权用户的恶意攻击行为。在信息战环境下，恶意授权用户（malicious authorized user）发起的数据篡改攻击是一

期刊

信息安全文件数据依赖信息系统信息战信息保障数字签名Information warfareSecure operating systemTrus

面向Web服务发现的本体知识库

本文探讨了面向Web服务发现的本体知识库的构建方法及其形式化描述.作为语义Web服务的发现框架中数据层和语义层,面向Web服务的本体知识库与一般的常识知识库不同,它既要表达

期刊

本体知识库WEB服务OntologyKnowledge baseWeb service

一种面向对象Petri网模型的语义和行为分析

与本文相关的学术论文