动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.     

Petri网的进程表达式与语言表达式

Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述．本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据，随后证明了Petri网的进程表达式与语言表达式的类型一致性，由此给出了由进程表达式求取语言表达式的算法，为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径．     

无冲突Petri网的结构活性判定研究

结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明,该判定方法可在多项式时间内判定无冲突Petri网的结构活性。     

Web服务组合构建与执行的Petri网平台研究

针对Petri网在服务组合中的具体应用问题,尤其是如何构建基于Petri网的服务组合软件平台,在服务组合的Petri网模型的基础上,首先建立了具体领域中服务的语义功能体系;然后进行原子服务的注册及发布,将各具体服务绑定到语义功能体系中的某一功能;其次实现了基于视图的服务组合构建,用户可在相应视图中通过选择相应的功能进行方便的服务组合构建,并得到相应的服务组合功能流程;最后进一步将相关功能转换为绑定具体服务实例的Petri网模型,并交由相应的基于Petri网的服务组合执行引擎实现执行。实现了从服务组合构建到执行实现的完整功能流程,为基于Petri网的服务组合动态执行相关问题的分析提供了软件平台支撑。     

基于Petri网的Web服务注册方法的研究与实现

为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法.首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明.     

面向用户服务质量需求的服务选择方法研究

服务选择问题是服务组合中的一个关键问题,尤其在服务选择时应充分考虑服务质量因素。该文研究了基于用户服务质量需求的服务选择方法,通过对各项QoS(quality of service)因素分别加权,将面向用户服务质量需求的服务选择问题转化成单目标优化问题。在充分考虑服务实际质量和用户主观需求的基础上,给出了QoS组合权重的计算模型;并在候选服务集的基础上,依据用户的服务质量需求,定义了用户满意度函数,进一步利用遗传算法解决服务选择问题。实验结果表明,文中提出方法具有明确的用户需求指向性和选择灵活性,能够最大程度上满足用户需求。     

Web服务组合的Petri网自动生成方法

针对Petri网理论与方法在服务计算中的应用,从Web服务执行的角度,在定义Web服务组合的Petri网的基础上,给出Web服务组合的Petri网的自动生成方法.首先对Web服务的Petri网描述,通过利用Web服务的输入、输出等元素的本体定义为Petri网中相应库所元素添加语义标签,得到Web服务的Petri网的PNML(Petri net Markup Language)+OWL(Ontology Web Language)描述,其中PNML部分描述Petri网的网结构,OWL部分描述Petri网中各库所元素的语义标记;进一步,在已得到Web服务组合中各子Web服务之间输入/输出关联元素的基础上,确定各子Web服务的Petri网之间的可融合库所,通过执行可融合库所之间的库所融合操作,将各子Web服务的Petri网合并得到Web服务组合的Petri网,为Petri网相关理论与方法在服务计算中得到实际应用提供了必要的前提.     

多主体计划的Petri网方法及其研究

利用Petri网对主体Petri的各种行为进行描述和分析，通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法。系统中的每一个主体可以通过其Petir网系统进行描述，进而得到多主体系统相应的有界层次Petri网系统。利用层次Petri网系统的可达标识图得到多主体系统关于目标状态的可达动作序列的集合，对可行可达动作序列及其中动作间关系确定得到多主体系统的计划。     

多主体行为模拟的层次Petri网方法

对多主体系统中主体行为间关系进行准确的描述和分析是保证多主体系统顺利运行的关键因素之一。与已有的基于Petri网的方法不同，该文将主体的动作分类为内部和外部动作，利用Petri网系统描述单个主体的内部结构，进而得到多主体系统的层次Petri网系统模型，每个主体的内部结构在系统网系统中表现为一个替代变迁元素，如此可以从两个层次（系统层和主体层）上对多主体系统的各种动态行为间的关系，特别是并发关系进行描述和分析。     

面向组合的Web服务间数据关联定位方法研究

Petri网因其在描述和分析并发、分布式系统方面的优势,越来越多地被用于Web服务组合中。在基于Petri网描述的Web服务组合中,如何确定各个子服务参数之间的关联关系,并以此为基础得到Web服务组合的Petri网,是对Web服务组合性质进行分析的前提与基础。首先给出Web服务的Petri网描述和基于Petri网的Web服务注册系统,定义了Web服务参数间的数据关联及定位算法,并通过例子说明数据关联在自动生成Web组合服务Petri网中的应用。