基于带标记的并发可达标识图的关键路径的求解方法

将AOE 网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE 网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。     

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

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

多处理器调度算法实现及其Petri网建模与仿真

多处理器调度算法在嵌入式实时系统领域中起着关键的作用。根据多处理器的特点,提出一种实时多处理器动态分割并行调度算法SPara。该算法解决了此前多处理器算法,如Myopic、EDPF等仅依据截止期对任务调度产生的问题,实现了增加任务紧迫度限制的调度策略,以及针对执行时间长、截止期紧迫任务的有效调度方法。同时算法结合高级颜色时间Petri网理论进行建模并仿真。测试结果表明,SPara算法在处理器利用率以及调度成功率方面较Myopic等算法有较大提高。     

有界Petri网的可达图到网图的转换算法

本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的。     

基于逻辑时延Petri网的停车预订系统建模与分析

为解决逻辑Petri网不能详尽地描述模型在规定时间点变迁引发和引发完成的时间问题,提出逻辑时延Petri网.首先在普通变迁的基础上引入变迁的引发时间和变迁完成时间形成决策变迁,为每个token定义到达时间和自身时间属性等;其次重新定义引发规则和可达图算法,并针对决策变迁和可达图生成进行算法描述;最后使用逻辑时延Petri网对停车预订系统进行建模,构建可达图分析系统中重分配问题以及车位的利用率等问题.在此基础上设计实验验证了逻辑时延Petri网的可行性和智能停车预订系统的优势.     

基于Petri网的可达树与可达图的构造与算法实现

Petri网是一种系统设计和分析的工具，为了完成Petri网的各项分析，还需要借助如可达树、可达图等工具。讨论了Petri网可达树与可达图的构造方法，并给出了相应的算法。     

基于UML顺序图的Petri网建模

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

基于Petri网的并发系统活性分析

本文从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图．通过分析可达标识图，可判断系统是否为死锁状态．若不是死锁状态，系统是否可能出现死锁，什么情况下系统肯定不会出现死锁．最后，给出了数据库系统中事务并发操作的死锁检测方法与避免措施．     

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

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

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

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

时间Petri网模拟能力的研究

模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri网的模拟能力比传统Petri网要强,并首次证明了时间Petri网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延Petri网向时间Petri网的转换方法,这说明了时间Petri网虽然形式上较为简单,但其模拟能力却并不比其它含时间因素的Petri网逊色,同时为时延Petri网的研究提供了另外一种有效方法。     

基于Petri网与GA算法的FMS调度优化

提出了一种应用遗传算法解决柔性制造系统调度优化问题的新方法．首先用Petri网对柔性制造系统进行建模,然后应用遗传算法对该模型进行调度并获取近似最优解．在该算法中,用Petri网模型的激发序列作为染色体,采用期望值方法作为选择算子,总加工时间作为适应度函数,两点交叉法作为交叉算子,交叉点选择能到达相同标记的转移．对于变异算子,首先从染色体上随机选择一点作为变异点,然后从这点开始应用变异算法,该变异算法类似于Petri网的可达树算法．由于算法中的选择、交叉和变异算子都是对．Petri网模型中的元素进行操作,与问题空间中的元素无关,因此,与其它调度算法相比,它有较高的通用性．既可以处理典型的Job—Shop问题,也可以处理小批量、多品种的FMS(Flexible Manufacturing System)调度问题．文中通过实验验证了算法的有效性。     

基于时间Petri网的并行测试任务调度

并行测试拥有减少测试时间和降低测试成本的强大优势,正成为研究热点之一;首先介绍了并行测试的基本概念,针对在并行测试系统中由于多任务并行调度,可能引起的资源冲突问题,提出一种基于时间Petri网的并行测试任务调度建模方法;通过搜索Pe-tri网模型的可达树,寻找不同的变迁发生序列;比较不同序列的完成时间,得到完成所有测试任务需要时间最短的并行任务调度序列;最后,在该模型下,对一个实例进行了仿真分析;试验结果表明,该模型适于描述该类型系统的任务调度过程。     

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

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

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

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

面向对象的Petri网建模技术的研究

将面向对象的概念引入到Petri网建模技术中，对网进行分类与抽象，给对象模型的消息和方法赋予新的含义，并将Petri网扩展成具有输入与输出的开放式系统，从而形成了面向对象的Petri网建模技术（简称OPNe技术）。给出的OPNet建模技术的一般方法具有较大的实际意义。     

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

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