论文部分内容阅读
PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式。因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网。PNML主要用来在解决由于不同的Petri网类型而导致的问题。
Petri网可扩展性标记语言
【摘 要】
：
PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式。因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网。PNML主要用来在解决由于不同的Petri网类型而导致的问题。
【机 构】
：
杭州电子工业学院软件分院(浙江杭州)
【出 处】
：
系统仿真学报
【发表日期】
：
2003年S1期
其他文献
该文介绍了模具设计与制造专业在办学过程中所取得的成绩,着重分析了该校模具设计与制造专业建设与国内国家级重点专业的差距,并以此为依据,从师资队伍、教学资源、教学条件
基于文[1]本文以叶栅损失系数ξ作为目标函数,采用两级递阶控制计算模型,寻找在最优控制变量作用下的最优流速分布及最优动量损失厚度θ。结合变分有限元计算方法和最优化方
摘 要：西藏自治区近几年的经济发展有目共睹，尤其是科技发展对西藏经济推动作用日趋明显。文章在确定指标体系前提下引入网络层次分析法（ANP）来确定评价指标权重，并根据西藏自治区的科技创新能力情况进行实证分析，这将对全区社会经济发展有一定的借鉴意义。 关键词：西藏 ANP 创新能力 中图分类号：F204 文献标识码：A 文章编号：1672-3791（2016）04（b）-0000-00 科技创新
本文主要讨论《潇湘奇观图》的笔墨章法。全文从“云”的画法，“山”的画法．“树”的画法三个方面分析《潇湘奇观图》的笔墨特点；同时以“云”为例讨论图中章法的“动静”，以“山
针对层流挟带流动反应器,本文开发了新的动量、质量和热量传递模型,并且,在1200—2000K温度范围内,试验研究了三种粒度的莱阳无烟煤炭粒(42.5,67和92.5μm)在空气中的燃烧特
伴随着社会的不断发展和进步,人们对PPP模式建设项目中招投标易于出现的问题越来越重视。在招标的时候,没有明确的法律和法规作为根据,招标机制依然处于萌芽阶段,无法从客观
Flash除具备强大的动画制作功能外,实现了较完整的面向对象编程模型,已具备开发大型应用程序的能力。介绍了运筹学排队论问题的基本模型与Flash开发程序的主要特点,通过排队论机器修理问题仿真实例详细分析了用Flash实现排队论仿真的要点、程序流程结构与时间仿真模块等关键技术的解决方法,并对仿真模型进行了验证,结果表明模型基本具有比较高的仿真精度,在科研、辅助教学工作中具有一定的实用价值。
<正> 一、在稳定分层流中热尾流浮升的分析 稳定分层环境中,对远程热尾流作假设:1)流动定常;2)尾流是轴对称的;3)在尾流未达到最大浮升高度时,在分层环境中尾流的扩展与均匀
在很多情况下,机器人对作业环境并没有预先了解,这就使得机器人对环境的探测成为必要。因此,设计合理的导航算法,从而使机器人在较短的时间内能够较完整地构建出环境地图,为机器人完成作业提供了基础。本文提出了一种基于虚拟力的螺旋形导航算法,采用超声距离传感器,对未知环境进行实时在线的探测,采用本算法可以避免机器人之间以及机器人与障碍物发生碰撞。本文推导了机器人的运动学和动力学方程。仿真对比实验表明了该算法
以某型雷达改造项目为背景,在对常规雷达显控终端进行分析的基础上,提出并实现了基于通用微机的数字化雷达显控终端,综合比较了该数字化终端与常规显控终端的特性。实践证明,该方案有效满足了在雷达终端上进行复杂的信息处理和显示的迫切需求,具有良好的适应性、通用性,可广泛应用于雷达显控终端的改造、雷达系统仿真和人员训练等方面。