共享合成Petri网的性质分析

组合 Petri 网的性质不变性对大型合成系统分析有着重要意义，从分析共享合成 Petri网的结构性质入手，分析了它的活性性质，给出了它的一个较为简单的活性判定的充要条件．在此基础上，研究了共享合成 Petri 网的活性与行为不变性和状态不变性的关系，为系统合成的活性和一致性的关系提供了分析依据．

共享合成Petri网系统的语言递归性与系统活性

在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.

基于共享合成时间Petri网的船舶吊装过程建模

根据船舶吊装过程中所涉及的吊装网络约束、场地和设备约束,以及所用时间等信息,提出了一种基于共享合成时间Petri网的船台吊装过程建模方法。该方法不仅能够应用于单船吊装过程,而且可以方便地建立多船吊装过程模型。分析了该方法的可行性,给出了具体的合成算法和利用极大加法代数求解所建模型中相关时间的方法,从而提高了这类复杂过程建模的效率。最后,通过一个实例,对具体多船吊装过程建立时间Petri网模型,并给出了这类模型优化后的结果,进一步说明了该建模方法的有效性。

Petri网共享合成及其在并行系统中的应用

为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明。提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例。实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法。

同步与共享合成操作中子网的求解方法

Petri网同步合成与共享合成是复杂系统分析中两种重要的方法。为了适应更为复杂的系统分析需要,本文将同步合成与共享合成拓展为多个Petri网之间的操作,证明了任给一个结构复杂的网系统均可由一组结构简单的子网合成,并分别给出了合成操作中子网的求解方法。

基于Petri网共享合成的网格计算资源调度方案

网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行建模与分析.通过对现有方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点.为不同层次的调度者构造了不同的有色时延Petri网模型,并利用Petri网的共享合成得到整个系统的Petri网模型.通过对Petri网可达性的分析,获得如吞吐量、负载平衡、调度时间等资源调度的一些重要特性.

自由选择网的共享合成运算

给出了自由选择网 FC(free choice nets)的共享合成运算 ,并研究了共享合成网的性质 ,这些结果可为

基于语义的Petri网自动共享合成方法研究

提出了基于语义技术的Petri网自动共享合成方法。根据已经建立好的的领域本体,为Petri网中的所有库所添加语义标记,使其与已有的语义库建立联系。再通过Jena检索及推理技术来确定各个Petri网中的可融合库所,进而按照给定的语义合并规则来对可融合库所进行合并操作,以实现Petri网的自动共享合成。最后以服务计算为场景,讨论了利用语义技术来自动共享合成得到Web服务组合所需的Petri网的方法,并结合网上购书的Web服务组合实例,验证了该方法的正确性及可行性。

同步及共享合成操作对Petri网汇合性质的保持性

若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。

共享合成Petri网系统的活性保持性

讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.

共享路径合成网的活性和公平性分析

本文提出 Petri网的共享路径合成网的概念 ,研究了合成网对子网的活性和公平性继承关系 ,最后给出一种实现共享路径合成网活性和公平性的控制装置 .这些结果为网系统合成提供了有力手段 。

协同维修过程的合成Petri网建模与分析

针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.

基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测

利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 .

Petri网的分享合成操作

通过引入Fork算子,建立了Petri网的一种新的合成操作-分享合成,分享合成操作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时,子网中任何与分享库所无关的变迁序列在合成后保持不变,分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会,使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。

合成网的进程语义

着重考察 Petri网同步合成和共享合成中其进程的性质 ,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性 ,获得一系列语义关系公式 ,它们将为并发系统的分析和验证提供有力工具 .

几类合成网的性能分析

研究了T-图,P-图,CFR网(无冲突可重复网)的同步合成网与共享合成网的结构性质和动态性质,这些工作对T-图网系统,P-图网系统,CFR网系统(无冲突可重复网系统)合成的性能分析提供了有力手段.

可重写Petri网:位置可重写及性质分析

针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。

几种满足汇合性质的Petri网子类

证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇合性质的保持性,得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性质。通过一个具有汇合性质的复杂网系统实例验证该结论。

基于着色Petri网的航空发动机总装作业调度研究

针对航空发动机作业并行交叉的特点,提出一种“自底向上”的柔性建模方法,着重描述异类对象作业工序对资源的占用与冲突。引入基于资源库所的共享合成运算,解决了Petri网结构重用性差而无法动态建模的问题,合成模型具有守衡、有界和无死锁的结构性质。模型的状态方程在极大-加法代数意义下具有线性的形式,结合遗传算法实现基于周期的静态调度优化。