炼钢连铸系统的动态调度模型和启发式调度算法

针对炼钢连铸系统对单元设备建立了动态调度模型,并利用基于该模型的赋时同步有色Petri网对整个系统建立动态调度模型,针对该模型,提出了一种启发式调度算法解决动态调度问题,并基于此实现炼钢连铸的仿真调度系统,结果表明,该算法能够较好地实现多级多机FIFO（先入先出）系统的动态调度问题。     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

基于CTCH网的批过程动态最优调度

采用动态规划的基本原理 ,给出了基于CTCH网模型的批处理过程的动态最优调度模型 ,并给出了相应的调度算法 ,最后以炼钢 -连铸生产系统的过程调度为例 ,对该算法进行了仿真     

优先级调度规则建模研究

基于规则的调度方法已广泛应用于各类调度问题的求解中。为揭示规则对调度系统所产生的具体作用,研究了调度规则的建模问题,并主要运用Ｐｅｔｒｉ网为优先级调度规则建模。文中首先分析了普通Ｐｅｔｒｉ网模型中分别存在于库所、令牌和变迁这三个层次上的顺序冲突现象,认为这些冲突可通过引入相应的优先级调度规则来解决;接着结合实例运用三种类型的扩展Ｐｅｔｒｉ网对各层次的优先级调度规则建模;最后通过分析规则调度系统的结构特征,指出可运用混合动态系统领域的有关理论来研究规则调度系统的建模、分析和控制问题。     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

基于Petri网的离散制造过程建模工具

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。     

虚拟制造系统概念与结构框架

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成、行为方式和控制方式建立模型．通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计、规划、调度、控制等问题的研究提供了一个有效的工具．     

炼钢物流仿真系统的设计与开发

针对炼钢生产物流情况，在确定系统的设计目标和设计原则基础上，综合运用赋时着色Petri网和排队网络方法，以面向对象技术设计和开发了炼钢物流仿真系统。设计的仿真系统具有建模、运行、模型管理、数据管理、动画展示、结果分析和在线帮助功能。介绍了该系统的总体结构和数据流程，以攀钢提钒炼钢厂主物流的输入条件进行了实例仿真，检验了仿真系统的有效性。仿真结果还可提供炼钢生产调度的Gantt图和仿真结果统计分析，可用于辅助炼钢生产管理决策。     

带决策的扩展Petri网及其在FMS中的应用

基于Ｐｅｔｒｉ网基本原理，对原有赋时Ｐｔｒｉ网和着色Ｐｅｔｒｉ网加以扩充，提出一种新型的决策的扩展Ｐｅｔｒｉ网（ＤＥＰＮ）方法，并对ＤＥＰＮ模型的建模和应用等问题进行了探讨，文末针对一个实际的ＦＭＳ系统阐述了运用ＤＥＰＮ模型进行建模和展开研究的及过程，难了方法有效性。     

一般生产调度问题的统一结构

分析了离散制造、间歇过程及连续工业的生产调度背景及需求，并依此说明各类企业的生产调度问题存在结构共性，可以归纳成一般生产调度（ＧｅＰＳ）问题来研究。这种ＧｅＰＳ问题可用混合动态系统来描述，它既包括描述基本生产过程的连续时间动态，又有描述实时事件发生及相应决策处理的离散事件动态，这两种动态是实时交互的。用水箱切换实例说明了ＧｅＰＳ问题的混合动态和模型特点。     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

混合动态系统SPN的稳态性能分析

给出了混合动态系统SPN模型各状态的稳态概率存在解析解的条件,基于稳态概率,可以求出变迁利用率等几个稳态性能指标,从而实现分析该模型稳态性能的目的.同时为解决混合动态系统SPN模型状态空间爆炸的问题,在保持时间性能的前提下对该模型的几种特殊结构进行了简化.     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

基于混杂Petri网的食品加工生产过程建模

根据食品加工过程的混杂特性,提出了一种基于时延混杂Petri网与微分方程机理建模相结合的方法,并对某食品加工过程进行了建模和分析,其模型体现了连续过程和离散事件共存的特性,具有一般性.此模型可以应用于生产过程的优化调度.     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

应用Petri网对CSMA/CD的描述及分析

Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。     

工作流分层模型的PNML表示

PNML是一种基于XML的Petri网交换格式，在工作流引擎内部使用PNML表示业务流程的模型，可以使得引擎和其他支持PNML表示的工具之间具有很强的互操作性．为此需要先定义新的标签，然后给出新的Petri网类型定义，最后通过例子阐明了如何用扩展后的PNML表示工作流分层模型．借助PNML表示，实现的工作流引擎工具具有很强的扩展性，能够和其他支持PNML的工具进行数据交换．