时间资源调度模型

本文首先提出Ｐｅｔｒｉ网调度模型的三个层次及其构造算法，在此基础上重点讨论第三个层次；时间资源调度模型－改进的Ｐｅｔｒｉ网模型，本文还给出一个相庆的调度算法，我们提出的调度模型对调度问题的描述极为清晰，对调度求解提供了一个强有力的工具。     

基于树型Petri网的网格资源调度模型

讨论树型网格环境下独立任务的调度问题,把网格资源计算能力和网络通信速度的异构资源调度问题转化为线性规划问题。提出网格资源调度的树型Petri网模型,基于速度优先的启发式资源调度算法对树型Petri网模型进行性能分析,验证了树型Petri网的单口模式传输特点。     

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

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

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

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

基于有色Petri网的网格调度模型的研究

有色Petri网(CPN)是一种高级网系统，可以为系统建模提供强有力的支持。该文介绍了CPN的基本概念和建模特性，在研究目前网格调度环境的基础上，提出了网格调度的CPN模型，应用状态空间分析法对两种典型的调度算法进行了分析和讨论。     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

基于Petri网的选煤厂生产调度模型研究

本将Petri网作为选煤厂生产调度模型建立的工具。针对选煤厂生产的具体情况．利用Petri网对选煤厂生产调度进行建模分析。分析结果表明Petri网可以较好地分析选煤厂生产调度中的瓶颈和并发冲突问题。     

基于Petri网的柔性制造系统调度控制模型

给出了自顶向下构造柔性制造系统(FMS)Petri网模型的方法,提出了随机创建指定数目满足指定条件的测试模型的算法,并给出程序仿真运行的演算规则。在此基础上实现了基于Petri网FMS分析与调度仿真软件平台,该平台可配置性强,容易维护,降低了柔性制造系统方针研究的复杂性。最后给出了该模型实现的模块结构。     

区域排水泵站的优化调度有色Petri网模型

针对城镇排水系统区域泵站调度及其可视化仿真问题,利用模糊控制思想,提出一种以流量进出平衡为基点的区域泵站调度优化策略,依据有色Petri网(CPN)理论,结合排水调度优化过程,建立区域泵站优化调度CPN模型.CPN Tools软件仿真结果表明,该模型动态运行过程符合排水调度控制规律及状态空间分析结果,能实现区域泵站调度...     

基于带抑制弧的Petri网的min-min算法模型研究*

为了解决已有的min-min算法Petri网模型不能模拟min-min算法运行过程的问题,根据min-min算法的调度特点,利用带抑制弧的Petri网提出了一种算法模型,该模型运行过程可以严格模拟min-min算法对独立任务集的调度顺序,能够正确地描述独立任务调度系统使用min-min算法的情况。最后对该模型的空间复杂度以及每调度一个任务模型的变化情况进行了分析,随着独立任务的调度执行,该基于带抑制弧的Petri网的变迁数和弧数会随之减少,模型的空间复杂度会不断降低。     

MD_WFN：一种基于Petri网的工作流模型研究*

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然而目前大多数的工作流建模方法往往只注重模型的某些方面,缺乏对工作流各要素的统一建模能力。通过对传统Petri网的改进,提出了一种包括任务、控制、资源、时间等多要素的多维工作流模型（multidimensional workflow net,MD_WFN）,实现了任务流、控制流、资源流在同一工作流模型中的统一。对基于MD_WFN模型的工作流模式和工作流建模过程进行研究,为使用MD_WFN     

基于面向对象Petri网的动态合同网协议通用模型

传统的合同网协议模型通过管理Agent和承包商Agent之间招投标进行交互和协商以共同完成目标任务。但传统合同网协议模型也存在一些如协作过程中通信量大、通用性不强等问题。为此，采用面向对象Petri网，引入对象Agent，对动态合同网协议进行建模,并采用Petri网的数学分析方法对模型进行了分析，表明模型具有通用性、并发性、活性的特点且通信量减少。     

基于扩展时间对象Petri网的粗糙网络攻击模型

为了解决复杂网络中相似攻击手段和相似节点对象在攻击模型中造成冗余的问题,提出一种基于脆弱关联模型的粗糙网络攻击建模方法。在攻击变迁域和节点对象域上定义属性集,将相似的攻击方式和网络节点分类,形成论域Petri网上的类空间。通过定义路径相似度,利用蚁群算法找出所有可达攻击目标的特征路径,并在这些特征路径中找出给目标节点带来最大威胁的攻击路径。实验证明,该方法能够快速地定位实时监控信息中涉及的节点对象和攻击方式,在各种特征攻击路径中准确找到其所在位置。     

一种有效的基于LTL和Petri网的模型检测方法

模型检测的一个主要方法是构建线性与时序逻辑（LTL）公式φ的否定形式等价的Büchi自动机Aφ和系统模型M的正交积，并检测正交积的可接受语言是否为空。通过对Generalized Büchi自动机进行化简，可以减小自动机的状态空间，从而提高模型检测的效率。根据所提出的方法设计并实现的基于LTL和Petri网进行模型检测的工具包，可以有效地对基于Petri网表示的系统模型进行模型检测。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于宏观经济模型的网格资源调度

传统的网格资源调度研究注重个体如何做出最优的选择和协调他们的选择,不能从整体上把握总供给和总需求的状态及联系。通过分析不同市场类型中网格的总供给和总需求情况,发现价格水平是影响网格计算平均效率的主要因素。为此,基于宏观经济模型建立了三部门模型并引入费雪方程来调整货币供给和价格水平。最后,设计了其网格资源调度算法,实验证明该算法能够有效提高网格计算平均效率。     

基于Petri net建模的资源调度的蚁群算法

利用了受控赋时Petri net建立了分布式系统中的资源调度的模型,并应用仿真器进行了仿真。由于在进行大规模的模型分析时,不适合采用仿真器来模拟,因而引进了蚁群算法来优化模型,可以得到较好的结果。     

基于Petri网模型的JSP粒子群优化调度

提出一种有效的基于Petri网建模及改进的编码粒子群算法的车间作业调度问题优化算法,分析对比了现有的作业车间调度领域中的基于人工智能的优化算法,对所提出的基于Petri网建模和改进的粒子群算法的优化算法进行了性能分析,并对该算法进行了仿真研究,结果表明该算法是可行、有效的。