Petri网关联矩阵与PNML描述之间的转换

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:yangfanyuanhang1020
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径.文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOM API解析PNML文件及实现转换过程的技术细节.
其他文献
分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一
密集无线传感网络中,可通过配置多个Sink收集节点来观察所监测区域内的多个随机过程。并在相应的Sink节点处重建所观察到的过程。当网络中传感器节点的功率固定时。分析了采用
提出了一种基于聚类和主成分分析的异常检测方法,该方法利用聚类分析将训练数据划分为不同的子集,从而得到正常模式在特征空间中的分布,然后利用主成分分析来提取各行为子集
近年来,温端政先生首倡语汇学,以为语汇的研究除了语言研究核心外,还涉及社会学、历史学和文化学诸方面,最具中国语言学的特色。特别是成语的研究,单一的语言学研究,往往不能穷尽其深层的文化意蕴。成语从产生到形成有一个渐变的和固化的过程,多数成语一经形成后,其语法结构和语汇意义是不能更动的。但有些成语不然,在后来的使用过程中,因了社会文化的变迁和语言依声托事、积非成是的应用法则,仍然会发生语法和意义上的变
在线手写签名验证是一种基于生物特征的身份识别技术,论文尝试将演化计算理论用于手写签名验证.首先建立数学模型,并在此基础上提出了签名验证匹配演化算法,特别是签名曲线的
论文提出一种将相对模糊连接度和道路特征相结合进行卫星图像主干道路半自动提取的新方法。首先将原始图像划分为多个目标,对每一类目标分别人工选取种子点,然后计算出图像中各
目的探讨直接支架置入术处理急性心肌梗死相关病变(IRL)的安全性、可行性,以及扩张压对无复流/慢血流发生率的影响.方法发病48 h内行介入治疗的首次急性心肌梗死患者,在导丝