进程网建模工具的设计与实现

来源 :北方工业大学学报 | 被引量 : 0次 | 上传用户：du_info26

【摘要】

：

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单

【作者】

：

郭峰邓蒙蒙杨颜公

【机构】

：

北方工业大学信息工程学院

【出处】

：

北方工业大学学报

【发表日期】

：

2014年1期

【关键词】

：

PETRI网进程网建模工具 Petri net process net modeling tool

【基金项目】

：

国家自然科学基金项目（6107003）、北京市属高校学术创新团队建设项目（PHR201107017）.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

进程网是一种融合进程代数特征的Petri网模型,支持由基本进程网构造复杂进程网的建模方法.本文介绍了进程网建模工具PrnTools的实现.在PrnTools中,以基本进程网为最小建模单元,并针对进程网的各种组合方式,定义了对应的XML保存格式;利用这些组合方式,可以从基本进程网组合成复杂进程网并保存为xml文件.通过一个实例说明了进程网建模工具的使用.

其他文献

UPLC-Q-TOF-MS/MS技术研究了哥王水提物中的化学成分

该研究应用超高效液相色谱-飞行时间质谱（UPLC-Q-TOF-MS/MS）技术对了哥王水提物中化学成分进行定性分析。采用AcclaimTM RSLC 120-C18色谱柱（2.1 mm×100 mm, 2.2μm）;以0.2%甲酸

期刊

了哥王UPLC-Q-TOF-MS/MS化学成分裂解途径

网络礼仪

<正>网络礼仪的词汇来源netiquette,是network(网络)与etiquette(礼节)的结合。在因特网上,随时间渐渐发展出的条文式的在线行为规范,便称为'网络

期刊

网络礼仪因特网

150W PT功率变换器的电荷泵式PFC电路设计

根据压电变压器（简称PT）的电路拓扑和特点,提出了一种适用于PT功率变换器的电荷泵式功率因数校正（简称CPPFC）电路.分析了输入电流连续状态下CPPFC电路的工作原理,以及网侧功率因

期刊

压电变压器电荷泵功率因数谐振槽路piezoelectric transformer ~ charge pump~power factor ~ reson

一种面向感知数据托管的虚拟机调度策略

以虚拟化为主要特征的IaaS（基础设施即服务）云服务,可实现资源的池化管理和灵活配置.现有虚拟化方案下物联网的感知数据托管,由于在数据规模、更新速度以及应用需求的不同特征,

期刊

感知数据虚拟化调度负载均衡节能sensory data virtualization scheduling load balancing energy

中国何时产除非法拼装车黑市

非法拼装汽车一度泛滥成灾,先后出现了收购报废汽车(包括摩托车)并将其拆解拼装成整车进行销售的违法经营黑市.据统计,1997年全国计划报废的25万辆汽车中的绝大部分被非法收

期刊

汽车市场非法拼装

不同抚育方式对幼林桉树生长影响研究

摘要 2013—2015年，在广西国有维都林场对桉树幼林进行了3种不同抚育方式（①全面锄草，②全面锄草+局部松培土，③全面锄草+施肥）的比较试验，结果表明：不同抚育方式桉树的胸径和树高生长差异明显，并且随着抚育强度的加大，林分营养空间也显著增大，能对林木生长起到很好的促进作用，充分改善林分生物量与林分生产力；适当提高桉树幼林抚育强度能取得较好的经济效益。　　关键词桉树幼林；抚育方式；林木生长；经

期刊

桉树幼林抚育方式林木生长经济效益

浅议曲靖市“森林城市”创建现状及其对策

云南省曲靖市努力把创建国家森林城市作为构建珠江源头生态安全屏障的重大战略举措,作为＂森林曲靖＂建设的重要内容之一来推进。基于此,针对曲靖市的实际,结合创建国家森林城市

期刊

森林城市困难曲靖市

内地西藏班汉语阅读教学策略研究——以湖南民族职业学院为例

内地西藏班汉语阅读教学在一定程度上决定内地西藏班汉语教学的整体水平和质量。结合笔者所在学校湖南民族职业学院内地西藏班汉语教学实践,调查发现：文化差异、内地普适化教

期刊

内地西藏班汉语阅读教学教学模式Mainland Tibet class Chinese reading teaching teaching mode

农业气象灾害监测预测技术研究进展

随着社会的不断发展,地区农业气象灾害的检测和预测能够极大地促进农业增收,减少灾害损失。基于此,回顾农业气象灾害检测预测技术研究的进展。虽然我国的农业气象灾害检测预

期刊

农业气象灾害监测预测技术

国际上网络礼仪的基本规则

<正>●规则1:记得彼方是人。(推己及人)●规则2:在实际生活遵循的道德标准,在网络上也同样要遵守。(表里如一)●规则3:明白你所处网际空间的规范。(入境随俗)●规则4:尊重他

期刊

基本规则网络礼仪网际空间

进程网建模工具的设计与实现

与本文相关的学术论文