Petri网可达性的综合判定法

Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.

基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。

基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好。试验证明这种分析设计方法合理可行。

基于Petri网的Web数据库访问的建模研究

本文针对多用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。

利用混杂Petri网对基于事件的机器人遥操作系统建模研究

针对采用基于事件思想的移动机器人遥操作系统 ,首次提出以混杂 Petri网作为描述工具进行建模 ,模型的离散部分利用传统的 Petri网 ,对应于系统的操作者 ;连续部分利用重新定义的便于描述微分代数方程的连续 Petri网 ,对应于位于远端的移动机器人 .

基于时延Petri网的多UUV系统的任务分配策略

针对多水下机器人(unmanned underwater vehicle,UUV)系统动态任务分配问题展开研究,在对系统的体系结构和任务分配机制进行分析的基础上,利用时延 Petri 网理论对系统的任务分配进行建模,提出了一种新的任务分配策略:群体协调层采用集中式任务分配策略,由主 UUV 将任务实时下达给各从 UUV;监控规划层采用基于适应度的分布式任务分配方式,充分发挥各异构 UUV 自身的智能。仿真结果验证了模型的合理性和任务分配策略的有效性。

Petri网理论在柔性制造系统(FMS)性能分析中的应用

本文用 Petri 网的一个子类——时间事件图对流水车间型和作业车间型的柔性制造系统(FMS)建模并进行理论分析,给出了可行排序的判定条件及系统中托盘数量配置与系统生产率的关系,对系统的主要性能指标,如生产周期、工件驻留时间、在制品库存等给出了定量描述.这些结果为系统的设计和运行提供了理论依据.

Petri网理论在FMS中的应用

本文以Petri网理论为工具，对一类柔性制造系统进行了分析。首先进行了Petri网理论研究及与柔性制造系统结合等方面的全面综述，为Petri网理论在生产系统中的应用作好了准备。从Petri网理论的角度提出了DEDS稳定性的定义和分析方法，并分析了系统的死镇性、有界性、守恒性等一系列性质，以这些结论为基础，又研究了流水车间和作业车间的动态优化排序问题，得出以下结果。1．用时间事件圈分析流水车间，可以得出流水车间中任何排序都是可行排序，并且给定任何一种排序，只要初始时有足够的托盘配置，稳态好总能使瓶颈机器满负荷利用，系统生产率最大。2．同样分析作业车间，得出作业车间不可行排序的制定条件，并且给定任何一种排序，只要初始时有足够的资源托盘和半制品存在，总能使瓶颈机器满负荷利用，系统生产率最大。3．为使瓶颈机器满负荷利用，且在制品库存最少，得出了一个求解最少在制品库存的整数线性规划，并给出了几种求解整数线性规划的启发式算法。4．对一种类型的FMS，给出了托盘数的上限估计，缓冲器的最小容量等。对于减少在制品库存，降低生产成本，确保系统稳定运行，这些都是非常重要的条件。5．定义了过渡过程时间，分析了过渡过程问题，在某种条件下能使系统从初态直接进行稳态。

模糊Petri网自动生成方法研究

为解决模糊Petri网建模效率低、工作量大、易出错等问题,提出了模糊产生式规则自动生成模糊Petri网的方法,并给出了其映射模型。该方法通过模型映射,结合图元生成与定位实现了模糊Petri网的自动建模。避免了模糊Petri网建模的人为失误,提高了建模效率。使知识库与模型库同步更新,保证二者的一致性。有利于充分发挥模糊Petri网的知识表示、模糊信息处理与动态并行推理的优势,对模糊Petri网理论的广泛应用具有推动作用。通过实例表明该方法是可行的。