炼油生产调度的混合Petri网建模

文章首先分析了炼油生产调度问题,指出炼油生产调度是一个既具有连续时间特性,又具有离散事件特性的混合动态系统,针对这种特性,该文在研究了连续Petri网和混合Petri网之后,将混合Petri网用于炼油生产调度系统的建模,为解决炼油生产调度的实时性问题提供了有力工具。     

基于Petri网的组合设备建模与调度综述

组合设备是半导体晶圆制造的核心装备, 其调度与控制优化是半导体制造领域极具挑战性的课题. Petri网因其强大的建模能力和简约的图形化表达优势, 被广泛地应用于组合设备的建模与调度. 对基于Petri网的组合设备建模与调度方法进行综述, 归纳总结了组合设备的结构类型、晶圆流模式、调度策略及Petri网建模方法, 并系统阐述组合设备的7类典型调度问题, 包括驻留时间约束、作业时间波动、晶圆重入加工、多品种晶圆加工、加工模块(Process module, PM)故障、PM清洗和组合设备群. 最后, 讨论了当前组合设备调度存在的挑战及后续可能的研究方向.     

基于Petri网的虚拟企业建立过程模型

首次将Petri网理论引入虚拟企业领域,提出了用Petri网对动态,并发的虚拟企业产生建立过程进行描述,使虚拟企业的建立过程在Petri网上得到清晰、全面的描述,为企业管理层进行决策提供了一种简洁、直观的决策分析工具。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

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

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

基于UML顺序图的Petri网建模

UEL（统一建模语言）是一种功能较强的面向对象图形建模工具，但其过程描述中缺乏严格的语义，而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来，阐述了UML类图、顺序图的Petri网建模转换方法，避免直接进行Petri网建模过程的烦琐，使建模过程清晰可见。     

基于Petri网的分布式实时嵌入式系统调度的建模

提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统：在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。     

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

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

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

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

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

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂, 实现对生产事件快速灵活响应, 本文提出了一种调度与控制一体化的方法. 首先, 定义了一种新型Petri网模型, 即平行Petri网, 从而集成地描述了传感器、执行器、任务和资源信息, 构建制造系统的信息物理系统模型; 其次, 提出了一种从平行Petri网到赋时Petri网的抽象简化方法, 大规模压缩优化调度所需搜索的状态空间; 再次, 定义了策略Petri网以描述最优调度策略. 最后, 给出了平行Petri网与策略Petri网同步执行算法, 使得平行Petri网与物理系统同步执行.     

基于Petri网的BPR建模方法的研究

文章论述了基于Petri网的事务流程模型和流程建模方法。经过40多年的研究与应用,Petri 网在自动控制、通信和计算机科学等许多领域已经获得了较为成熟的应用。但把它作为支持BPR实施的流程建模工具,还没有得到广泛的应用。文中提出了一种基于Petri网的流程建模方法－BPM,在增加适当的属性后,用BPM设计的流程可直接用于仿真,这样就可得到必要的流程优化数据,以实现流程的优化。文章最后用一个简单的例子对BPM的有效性进行了验证。     

基于扩展混合Petri网的晶圆制造系统建模

提出了一种扩展的面向对象混合Petri网（EOHPN）的建模方法：针对晶圆制造系统的复杂性，在EOHPN模型中融入了面向对象的抽象机制；为了减少系统建模的复杂性，引入混合Petri网并用面向对象建模技术作了扩展。在定义EOHPN模型的基础上，作了对象模型的拓展。用实例描述了基于EOHPN的晶圆制造系统的建模过程，验证了模型在处理系统建模时的有效性。     

基于CPEBSDL通信协议的Petri网建模方法

结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。     

Petri网在商务工作流建模中的应用研究

在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念,来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性,文中给出了层次建模必须的子网(过程)替换规则。     

基于Petri网的容错系统分层建模

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。     

基于嵌套网的JADE建模

良好的形式化建模方法是大规模开发和应用多Agent系统(MAS)的必要条件之一,使用多层的嵌套网对JADE进行层次化建模,给出面向对象的MAS与NP-nets之间的对照关系。指出通过引入层次结构,不仅能有效地控制状态空间的规模,而且能通过网托肯的嵌套方式克服Petri网结构演化的困难。