Petri网Ontology:定义与类型

来源 :第十一届全国Petri网理论与应用学术年会 | 被引量 : 2次 | 上传用户:TemplarLee
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网Ontology是关于库所、变迁和弧的概念模型,其意义在于它定义了用XML描述Petri网结构所采用的全面标记,从而规范了Petri网结构的交换格式。对应基本Petri网、库所/变迁网和高级Petri网分别是基本Ontology、分页Ontology和标签Ontology。 PNML性质上就是标签Ontology。作为标准型的标签Ontology,既可给出Petri网Ontology的统一解释,也是对其进一步研究的基础。
其他文献
结合实际发挥优势加快高新技术产业化步伐武汉东湖新技术开发区管委会武汉东湖新技术开发区(简称东湖开发区)自1991年3月经国务院批准成立以来,始终围绕"发展高科技、实现产业化"的目标
南开大学在贮氢合金材料与镍/氢化物电池的基础和应用基础研究以及镍/氢化物电池的核心和关键技术研究方面处于国内领先地位,研究水平已进入国际先进行列。为了使镍/氢化物电池商
期刊
在基于HLA的大规模交互仿真中,如何灵活、高效地实现分布式网络仿真成为迫切需要解决的问题。HLA中的数据分发管理机制为实现大规模交互仿真提供了可能。分析了数据分发实现过程及过滤原理,结合分布式网络的特点,构建了一种层次化数据分发管理系统仿真结构,提出了层次化DDM系统仿真策略,并对层次化DDM仿真系统的性能进行了分析对比,说明了层次化仿真框架的可行性及优越性。
本文从幼儿教师产生职业倦怠的原因及缓解幼儿教师职业倦怠的对策两个方面探讨了幼儿教师职业倦怠现象,研究者希望通过此研究能找到更好地缓解策略或解决方法,并提出关于幼儿
针对利用方向小波的多方向框架分割图像时形成的像素序列长度的不同,提出一种新的基于方向小波的差值滤波图像去噪算法。该算法根据白噪声分布规则,将像素序列分成两组,分别采用不同的阈值萎缩方法,并将所产生的方向子图像进一步的作差值滤波处理,最后对所有子图像进行线性平均。对含不同程度高斯白噪声的图像去噪仿真实验表明,与其他小波阈值去噪方法相比,该算法能更有效的去除噪声和保持图像纹理细节,信噪比提高1~3dB
国有企业制度机制与功能的研究霍从刚○问题的提出国有企业特别是大中型企业是国民经济的支柱,也是社会主义现代化建设的最重要物质基础。据统计,到1993年,我国有8万多个独立核算的
冬日是松,柏类盆景改作的最佳时期,江苏淮安张天祥先生于2005年元月初动手改作,今将改作前后树相附之并作小析,因改作时间较短,而已上存在某些不足,若再经3-5年培育改进,将会趋于成
两节期间,化妆品市场异彩纷呈柴火化妆品是近年来我国轻工系统发展最快的行业之一。目前全国化妆品企业多达2300多家,生产的化妆品由过去的几十个品种,发展到数千个品种、上百个系列
传统的分割方法往往是根据图像单一的属性标准对图像进行分割,很难满足图像的多方面分割要求。由于许多外界干扰因素的存在,使得基于经典模糊集方法进行的分割,结果也常常不令人满意。针对这些问题,介绍了一种基于超模糊集合理论的多属性图像阈值分割方法(F2ES),在超模糊集的基础上,结合模糊熵和模糊相似性两种截然不同的属性刻画待分割图像,构造综合评价函数,得到最佳阈值。针对多幅不同类型图片进行分割仿真实验,得