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

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

基于Petri网的分层半导体制造过程调度结构

针对复杂的半导体制造过程调度，在综述现有调度问题及方法的基础上，提出由投料调度、路径调度和两种类型的工件调度共同组成的分层调度结构的思想及方案，继而基于Petri订网模型，探讨所提出的分层半导体调度结构基于Petri网模型的实现方法，最后通过仿真对分层调度结构加以应用验证，并总结全文．     

一种扩充的面向对象 Petri 网

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

基于颜色Petri网的再制造工艺过程建模与优化调度方法

针对再制造工艺过程的众多不确定性问题,建立了一个基于颜色Petri网的再制造工艺过程模型,引入颜色标识描述了再制造工艺路线的不确定性、再制造工艺时间的不确定性和再制造资源冲突不确定性。以最小化再制造工艺成本和延期交货惩罚成本为目标建立了再制造优化调度模型,并提出了一种基于模拟退火算法和最小松弛时间规则的优化调度方法。该混合算法结合概率突跳特性在解空间中随机寻优,确定最优的再制造工艺路线和零部件加工优先级。将所提出的优化模型和方法应用到某废旧机床再制造实践中,运用Matlab编程开展再制造调度仿真。仿真结果表明:所提出模型与方法与基准案例相比,可平均减少15%的再制造总成本。     

基于Petri网与动态加权启发策略的FMS调度优化

为解决基于Petri网的柔性制造系统(FMS)调度方法搜索效率不高的问题,提出了一种调度优化算法。采用了改进的最优节点选择方法来提高算法节点搜索能力;在算法搜索进程中使用了动态加权启发函数,以保证最终找到某种最佳或较满意的调度结果;使用了启发式A*算法与深度优先算法相结合的方法以加快算法的收敛速度。这些策略减小了算法在Petri网可达图中节点的搜索范围,加快了算法的收敛速度,并且保证了调度结果质量的可控性。最后仿真结果证明了方法的有效性。     

一种扩充的面向对象Petri网

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

流水线调度的Petri网分析

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

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

Petri网的一种硬件实现方法

Petri网是一种信息流模型,广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现,为Petri网的硬件实现提供了可能．从Petri网的原理出发,根据库所与变迁的本质特点,提出了一种Petri网硬件实现的框架,并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计,以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

排课系统的着色Petri网建模

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

基于Petri网及矩母函数的计划评审技术

针对经典的计划评审技术不允许网络图中存在回路,而且假定所有活动时间服从β分布,使计划评审技术的使用受到限制的问题,通过将双代号网络映射为基于Petri网的模型,建立了既不改变双代号网络原有特性,又允许回路存在的基于Petri网的计划模型.结合Petri网可达图分析方法,在消减可达图的突发状态的基础上,引入矩母函数计算了PERT模型的性能参数.通过计算实例和仿真实验对比验证了该方法可以用于增强计划评审技术.     

基于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网的MMS服务描述,验证及实现

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系 抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务－－程序理服务进行描述、分析和验证。最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上的实现了ＭＭＳ服务，通过互操作测试证明了最正确性。     

求DEDS关键路（回路）的Petri网方法

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