论文研究 基于DISCOVERER的Petri网不变式自动生成.pdf

Petri网的定义 定义2.1 PN的结构是由4要元描述的一有向图: PNS=(P,T,I,O) 此处: (1)P={p1,...,pn}是库所的有限集合,n>0为库所的个数; (2)T={t1

在国内外对弹头痕迹比对方法的研究中，传统方法是通过显微镜肉眼观察，比对两个弹头上的线条型痕迹，看线条的粗细分布是否吻合，但是效率极低、误差大。为了消除实际测量过程中的误差（平移误差和转动误差），提出基

petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础。

将智能规划方法引入到软件工程中的界面设计与开发领域，提出了一种基于智能规划的界面自动生成方法。应用该方法进行界面设计，可以较好地实现界面设计与代码实现的分离，降低程序的耦合度，并且可以明确界面间的逻辑

是petri网课件，根据书《Petri网原理与应用》（袁崇义　著）（　电子工业出版社）而做的　

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等，然而目前大多数的工作流建模方法往往只注重模型的某些方面，缺乏对工作流各要素的统一建

描述了一种基于Hu形状不变矩的图像全局形状特征提取方法和算法IMS。实验结果表明，使用IMS。算法提取的形状特征向量具有对平移、旋转和尺度变化的不变性，适合于进行图像形状的检索。

为了解决BPEL组合服务的正确性保证问题，提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则，实现由BPEL程序转换成Petri网和基于

发展基因组尺度代谢网络模型的模拟和分析方法有助于学习这些网络的结构与功能关系，是当前计算系统生物学领域的一个重要研究主题。由于具备严格的数学描述，直观的图形表达，外加存在众多的算法和工具，Petri网

模糊产生式规则的各项参数对模糊Petri网（FPN）的建立具有非常重要的意义，寻找一种可以得到合适的FPN参数的方法一直是Petri网研究领域的热点与难点。已有的寻优方法得到的参数还不太令人满意。对传