一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

高速网实时通信的调度能力

提出了一种通用实时连接调度模型,在抢先最早预定日期调度策略下,给出了任意网络结点上实时连续调度能力的充分必要条件,在实时通信服务中,这些条件形成了ＱｏＳ确定性保证的数学模型。     

基于Petri网的动态负载平衡双层调度模型研究

根据集中式和分布式动态负载平衡调度方式的优点,提出一种动态负载平衡双层调度模型（DLBDSM）,并在Petri网上进行建模。该模型将分布式系统分成若干相对独立的任务调度组,调度组由1个调度服务器和3个工作站组成,组内采用集中式调度,组间采用分布式调度,顶层子系统和底层子系统分别．由每个任务调度组的调度服务器和工作站组成。与现有的动态负载平衡调度模型对比,DLBDSM模型具有易实现、易管理和实时性等优点,并能有效地减少任务迁移所带来的系统开销。     

一种基于GIS和Petri网的城市火灾扑救调度决策方法

在加色Petri网模型的基础上,利用GIS对空间信息的分析能力,通过设计建立着色标识及其发射规则,发展了一种新的城市火灾扑救调度决策方法.与前人工作相比,在确定火灾等级和消防力量需求时,能够更充分考虑火场环境信息;通过引入对实时交通流的分析,能同时给出最优调度路径的决策结果.对火灾案例的分析表明,该方法给出的决策方案更为全面合理.     

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

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

基于Petri网的OHT搬运系统防死锁调度方法

为了有效预防高空提升运输(OHT)小车运行过程中可能出现的碰撞及死锁现象,提高OHT搬运系统的运行效率,提出一种防死锁调度方法。首先,利用Petri网建立OHT小车搬运系统模型,在分析Petri网模型的基础上,证明有效避免死锁的控制规则。接着结合匈牙利算法构建防死锁调度方法,通过轨道节点的时间窗预测OHT小车下一步路径状况,避免小车碰撞和死锁现象,实现多台OHT小车的优化调度。最后,进行仿真实验及对比分析。研究结果表明：本文提出的防死锁调度方法是有效可行的。     

一种扩充的面向对象 Petri 网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动——ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环     

流水线调度的Petri网分析

给出了一种基于时延Petri网的流水线建模方法,并对单功能流水线给出求最佳调度方案的算法,对多功能流水线以实例说明了其最仁佳调度方案求法。     

炼钢连铸过程的Petri网实时调度模型

炼钢连铸过程是一个复杂而又典型的混合动态系统,但现有的混合动态系统理论难以对此进行直接分析和综合。文章提出一种区段赋时弧有色Ｐｅｔｒｉ网,其库所输出弧上标注的是以颜色为变量的时间区间函数,并从抽象混合动态系统的角度给出了这种Ｐｅｔｒｉ网的变迁规则。利用模块化思想,以区段赋时弧有色Ｐｅｔｒｉ网为工具,说明了如何建立一个电炉炼钢连铸过程的实时调度模型。基于这一模型,既可以仿真整个生产过程,又可以分析和综合实时调度策略。     

基于对象Petri网的电网调度操作票任务分解方法

本文提出了基于面向对象Petri网技术的操作票任务分解方法．对分解后的单一操作任务再使用基本Petri网进行推理,从而解决了基本Petri网在建立电网调度操作票专家系统规则库时遇到的组合爆炸问题。通过分析给出了算法的对象划分、结构封装、对象间的消息传递关系以及图形化的建模;所设计的对象结构及对象关系保证了系统的安全性;最后结合算例阐述了具体的技术方案。算例结果表明了该方法的有效性。     

排课系统的着色Petri网建模

根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助.     

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法,类似与中间件技术,将Petri网结构文件存储为XML也格式文件,系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型,并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment)．     

基于Petri网的遥感产品生产模型

在遥感产品生产过程中,产品生产的算法之间会存在先后依赖关系,并且由于输入的数据源个数不同,生产过程也会有所不同.由于遥感产品生产流程具有灵活性及复杂性的特点,描述遥感生产流程也变得相对困难.根据遥感应用需求,结合遥感产品生产的特点,以可视化模型构建及快速生产为目标,采用Petri网理论提出了基于Petri网的遥感产品生产模型,给出表征该模型所用的符号定义并利用这些符号组合成遥感产品生产模型,对遥感产品生产流程进行抽象和概括,直观、形象地体现出算法之间的调用关系及算法被调用的次数,反映出数据的实际处理过程.然后用示例描述了遥感产品生产流程的变更,并分析了遥感产品生产的并行性,为遥感产品的快速生产策略研究提供了重要的分析手段.     

基于Petri网的考试系统智能出卷的研究

一般的网络考试系统是从题库中随机选题组卷,容易造成考卷难度不一影响考试的公平性.提出了使用petri网模型,采用启发式随机替换算法来控制考试系统出题难度的解决方案.     

求DEDS关键路(回路)的Petri网方法

为了研究离散事件动态系统的周期性和稳定性,需要求系统矩阵A在极大代数意义下的特征值和特征向量。文[1]通过以A为关联矩阵的有向图G（A）的关键路（回路）得出了一个求特征值和特征向量的方法。本文提出了一种寻找有向图G（A）的关键路（回路）的有效Petri网方法,它有一定规律可循。     

基于Petri网的哲学家就餐问题多线程设计与实现

为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1：1的轮流固定使用的Petri网模型,给出了使用（串行）的管理模型的程序实现,且可以实现2：3的轮流固定使用（并行）和不固定的动态管理．此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广．     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

一种基于时间的机器人装配任务规划方法

采用时间Petri网,针对有代表性的柔性装配单元的任务规划问题进行建模。计算了顺序和并行作业的时间消耗,并在此基础上提出了任务规划的时间优化算法。该项研究可针对作业任务的需要自动产生不同的装配序列以达到是的时间消耗,该方法还适用于对装配系统布局进行性能评价,并可用于指导装配系统设计。