正规Petri网及其逆向最优调度

常规Ｐｅｔｒｉ网的变迁发生规则是正向的，即根据输入库所的标识确定授权变迁集，再从中选择发生变迁集并修改输出库所的标识，这一方面造成了冲突，另一方面使得对于一个预期的目标标识，不能按照系统成本最低或利润最大的原则来确定变迁的发生。为此本文提出了正规Ｐｅｔｒｉ网的概念并研究了它的两种级联方式－并联正规网和串联正规网，以及逆正规网这一重要概念，对于上述的最优问题，我们提出了逆向的授权规则，即根据目标输出     

基于Petri网的批处理调度研究

批处理过程存在于复杂的动态环境中,来自主客观的干扰及问题固有的易变性,会导致各种过程参数的变化,因此,需要研究对意外事件作出快速反应的动态调度方法,以捕捉生产环境的实时变化。该文针对批处理过程中最常出现的操作处理时间波动,提出了基于Petri网仿真技术的批处理过程动态调度方法。仿真结果表明,该方法能有效地改善调度性能,为批处理过程动态调度的研究提供了新思路。     

基于有色Petri网的工作流阶段性调度

工作流的合理、有效调度有利于改善整个工作流系统的性能,从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优,但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时,优化每个任务的调度方案,但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上,本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性,并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。     

网格计算资源调度的层次Petri网建模与分析

本文给出了网格计算资源的三层调度方案,并利用层次颜色Petri网对这一调度方案进行了建模与分析。对不同层次的资源调度建立了相应的颜色时延Petri网模型,不同层次的颜色时延Petri网模型可以有不同的行为表现,体现了网格计算资源的异构、自治等特点。给出了层次颜色Petri网的可迭任务图的概念及构造算法,并利用可达任务图,对网格计算资源调度系统的运行状态进行了分析。     

调度问题的压缩Petri网（RePN）模型研究

本文提出了一种新的Ｐｅｔｒｉ网模型－压缩Ｐｅｔｒｉ网（ＲｅＰＮ）模型，用于调度问题的建模和求解，与以前的模型相比，ＲｅＰＮ模型不仅具有较强的分析能力，而且大大减少了节点数，使可达集杨应减小，从而为搜索调度问题的最优解或近优解提供了方便。     

柔性制造系统实时调度的有色Petri网和状态方程模型

柔性制造系统(FMS)的实时调度问题是一个典型的并发系统(CA),亦称为离散事件动态系统(DEDS).这是一类很复杂的动态系统,本文尝试用Petri网和有色Petri网对FMS的实时调度问题建立动态模型并同时给出了代数形式的状态方程模型.     

用Petri网模拟两级分布调度算法

用Ｐｅｔｒｉ网描述了两级分布调度算法，在此模型上，定义了分布调度算法的稳定性，最后，基于此模型，证明了两级分布调度算法是稳定的。     

基于Petri网的虚拟企业建模与调度

在分析现有虚拟企业建模及其调度方法的基础上,探讨了基于一种扩展Petri网模型的虚拟企业建模和调度方法,给出了T时延广义自控网的形式化定义和变迁规则。根据虚拟企业项目的特点,描述了基于T时延广义自控网的虚拟企业建模过程。基于所建立的虚拟企业项目模型,分别针对时间最短与费用最小两个调度目标,设计了A*算法以实现虚拟企业项目调度方案求解。实例分析验证了所提模型及调度算法的有效性。     

基于Petri网的IC制造调度优化

论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。     

基于Petri网的启发式生产调度

提出一种新的柔性制造系统调度方法.该方法可以通过引入测试弧增强普通Petri网的建模能力,可以对系统中的设备维护、设备优先级以及操作优先级进行建模,并进一步利用搜索算法对模型的状态转换空间进行启发式搜索得到优化调度.文中的实例展示了算法的有效性.     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

基于Petri网的哲学分析

Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展。Petri网技术和其它技术的完美结合使其在应用领域发挥作用。从哲学高度分析了Petri网获得成功的思想渊源。通过诠释Petri网思想与哲学思想的诸多相通之处,提出了一种以哲学观点认识和理解Petri网的新思想。Petri网理论的晦涩性在很大程度上限制了其更好发展。鉴于此,笔者在简化Petri网理论方面做了许多尝试,以期促进Petri网的流行与发展。     

基于Petri网的变电站故障诊断方法

为提高配置多级继电保护的变电站故障诊断的效率 ,本文以Petri网络模型中变迁矢量的不同权重表示继电保护配置的级别 ,使得诊断结果中产生对应继电器和断路器信号的特定诊断标志 ,从而增强了故障信号的识别能力 .诊断过程通过单向矩阵运算实现 .真实变电站故障诊断仿真过程表明 ,该方法运算速度快、诊断正确率高.     

无界Petri网的进程表达式

借助进程网系统的概念，首先证明了无界Petri网∑的进程与其进程网系统∑p，的语言之间存在一一映射关系，将求取∑的进程表达式的问题转化成求取∑p，的语言问题．由于∑p，的结构一般比较复杂，直接求取其语言仍然比较困难．通过定义库所的指标函数，将结构复杂的∑p，分解成结构简单的子网系统，引入了语言的同步交运算，给出了利用这些子网系统求取结构复杂的∑p，语言的方法，从而得到了求取无界Petri网∑的进程表达式的算法．     

基于Petri网的企业经营过程分析

本文首先对一般中小制造企业的经营制造过程进行分析,建立起企业从供应链到加工制造的基本框架,在此基础上,进一步建立起基于Petri网的系统模型。运用该Petri网模型,对企业的生产经营过程进行模拟和分析,根据分析结果可以对系统的经营过程进行优化和重新组合,降低企业生产成本,提高企业竞争力。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于广义随机Petri网的网格调度模型

针对网格资源调度中负载不均衡问题,在基于QoS且具有容错性的任务调度算法基础上提出一种基于任务优先级的QoS约束参数的调度策略。采用广义随机Petri网建立网格调度模型,增加Petri网的抑制弧功能,实现优先调度策略。结果证明了该策略优先运行紧迫任务,并且其运行任务时间和费用的综合代价较小。     

基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

基于模糊Petri网的服务发现框架研究

现有的主流服务发现方法不支持模糊逻辑推理,无法处理软计算语义,从而缺乏灵活性.为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异,提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架.为支持这一框架,设计了一种模糊Petri网服务描述语言,其主要特点是变迁表示一个服务或者请求;变迁的输入库所表示服务执行前应满足的条件,变迁的输出库所表示只有在所需条件满足的情况下服务才能成功执行.变迁相关的CF值(certainty factor value)表示服务消费者对Agent所提供服务的置信度.其次,提出了支持软计算语义的松弛匹配机制,并且给出了模糊松弛匹配算法;借助于本体库(类库),通过计算命题的真实度,在不精确模糊信息情况下,可以实现服务和请求的模糊松弛匹配.     

基于标签Petri网的OWL-S建模与分析

提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。