基于VHDL的时间离散随机Petri网仿真

时间离散随机Petri网是实时系统建模分析的一种重要工具,广泛应用在异步并发时间离散系统中,对时间离散随机Petri网模型进行模拟仿真分析是一个值得深入研究的课题.给出了一种运用硬件描述语言(VHDL)对时间离散随机Petri网进行描述和仿真的方法.首先介绍了时间离散随机Petri网的定义、特点,然后对其基本元素模块的硬件语言描述方法进行了讨论.最后以一个时间离散随机Petri网模型为例子,用VHDL语言对结构进行了描述,在Altera公司的集成开发工具QuartusII进行编译、仿真,仿真波形表明了这种方法的正确性.     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.     

基于Matlab的时间Petri网工具箱

要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。     

基于时间Petri网的装备体系可靠性建模与仿真

针对装备体系规模大、层次多、成员彼此分离、不断演化的特点,以及体系可靠性预计与分配困难的问题,在充分研究体系内涵的基础上,结合美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）和流程分析研究方法,提出了一种基于时间Petri网流程分析的装备体系可靠性建模与分析方法,详细分析了体系结构和使用流程的建模过程,构建了装备体系的可靠性计算模型。以某机场航空保障体系为例,说明了基于流程的体系可靠性建模分析的详细过程,通过ExSpect（Executable Specification Tool）仿真软件,得出了装备体系流程的执行时间和可靠度仿真结果。     

结合Petri网和UML的用户交互行为建模研究

Petri网和统一建模语言是当前两种非常流行、功能强大的用户交互行为建模工具。认为Petri网便于定量描述,可以动态运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够;提出结合两者的优点,对用户交互行为进行建模;并以自动柜员机为例,建立了密码输入和验证过程的用例图、状态图、活动图、顺序图、协作图和Petri网模型。该实例不失一般性,研究成果对于建立其它类型的用户交互行为模型有相当的借鉴意义。     

基于模糊时间Petri网的网络计划模型

针对工程计划中工序作业时间的不确定性以及传统网络计划方法缺乏数学表达能力等问题 ,提出了用模糊时间Petri网 (fuzzy timingPetrinet,FTPN)表达工程计划、求取关键路径的新模型。在给出了时间模糊数、FTPN的形式化描述、FTPN触发规则及数学特性和工程计划FTPN建模规则的基础上 ,把求取工程计划的关键路径问题转化为一个基于FTPN代数方程求取特定标识问题 ,在此基础上 ,进一步计算了工程计划在约束条件下按时完工的可能性。结果表明 ,所提出的模型既能正确、直观地表达工程计划问题 ,又能形式化描述、计算工程计划关键路径问题。     

基于时间Petri网的循环物质流动态投入建模与仿真优化

针对循环经济园区生产企业普遍存在的物料冗余投入的问题,以时间Petri网建模与仿真技术为依托,对物质流单元模块建立了时间Petri网模型,实现了对物质流系统投入方案的优化.首先利用时间Petri网强大的符号表达优势,对物质流系统的时序性和环节间的依赖性进行了公式化表达;继而通过模型分析,用数学算法量化了在逆向循环流的约束下,单循环和多循环物质流系统的物料最优投入量和最佳投入时间点,并用时间Petri网对其进行了图形化表达;最后以青海省某盐湖企业为例,对氯化钾生产物质流进行建模分析,给出了物料投入最优时间戳,并定量计算了原料节约率.通过案例实证分析可以看出,利用时间Petri网模型对循环物质流系统建模优化后,可以大幅地提高物料利用效率,从微观层面为循环经济减量化的实施与推广提供了技术支撑.优化算法适用于大中小型循环经济企业,而对于面临循环而不经济问题的中小型企业更具有实施意义.     

基于Petri网仿真的批处理过程动态调度

批处理过程存在于复杂的动态环境中，来自主客观的干扰及问题固有的易变性，会导致各种过程参数的变化，例如处理时间波动，原材料质量变化等，可能使已有的静态调度失去其最优性，甚或变得不可行。因此，需要研究对意外事件作出快速反应的动态调度方法，以捕捉生产环境的实时变化，本文针对批处理过程中最常出现的操作处理时间波动。结合规则调度思想，提出了基于Petri网仿真技术的批处理过程动态重视度方法，仿真结果表明，该方法能有效地捕捉 处理时间的变化，快速改善调度性能，为批算是过程动态的调度的研究提供了新思路。     

基于时间Petri网的潜在定时分析

针对潜在定时分析研究的现状,以及时间Petri网与潜在定时分析的共性,提出了基于时间Petri网的潜在定时分析方法。将Petri网模型分为五种基本模式,并分别定义了五种基本模式的变迁条件和变迁规则。通过Petri网的可达标识集与设计状态之间的关系找到潜在通路。两个实例的仿真分析结果与实际一致,证实了方法的有效性和正确性。     

主从任务调度的T-时间Petri网

任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.     

一种基于单亲遗传算法的petri网发射路径求解算法

给出了一种基于单亲遗传算法的petri网发射路径求解算法，提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作，实现了发射序列的快速求解。仿真结果表明，本算法能够以较大的收敛概率快速地收敛，最终得到多个发射序列。进一步的研究表明，适当的选取样本空间的大小可以使本算法更加快速高效。     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

混合控制系统的广义Pet ri 网建模与设计

提出一类混合系统的Ｐｅｔｒｉ网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Ｐｅｔｒｉ网的混合控制器设计方法。     

基于延迟Petri网的信息系统开发风险评估方法

信息系统建设是企业信息化建设的一个重要组成部分 ,在开发过程中出现的各种不确定因素导致企业信息系统中建设中存在着多种风险 ,对这些风险的管理和控制是信息系统开发管理的一个重要步骤。提出信息系统开发的风险管理和决策模型以及风险管理计划的制定策略 ,然后引入延迟时间模糊Petri网的概念并将其用于建立信息系统开发风险管理计划执行效果评估模型 ,重点论述应用延迟时间模糊Petri网对企业信息系统开发的各种风险进行评估的算法以及该算法的时间复杂度分析。     

基于HLA的Petri网分布式仿真中的数据过滤方法

在应用Petri网对大规模复杂系统建模和仿真时,Petri网模型可能出现组合爆炸的现象,从而占用大量的计算资源。考虑到Petri网的并发特性,可将Petri网模型分解为若干子网,进行并行或分布式仿真。在基于HLA的Petri网分布式仿真中,各联邦成员之间需要进行大量的数据交换,从而实现令牌(token)在子网之间的流动。因此,减少冗余数据的传输是提高分布式仿真性能的一种有效途径。对基于HLA的Petri网分布式仿真中的四种数据过滤方法进行了分析和研究,并通过仿真实验比较了它们去除冗余数据的有效性。     

基于VHDL的时延Petri网仿真

在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时延特性,通过EDA软件工具对时延Petri网进行仿真,获得系统的动态性能,这为时延Petri网的分析提供了新的路径,并为控制系统的设计和电路实现奠定了基础.文章最后给出了一个实例,仿真波形表明了这种方法的正确性.     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

隧洞施工过程的Petri网络模拟方法

Petri网络模拟方法是通过应用Petri网的基本特性对施工系统进行建模，描述模型中资源等施工参数随施工进度的变化，其网络模型能够较好地描述实际施工系统的动态变化情况，优选施工组织方案和施工机械设备的配置。本文系统分析隧洞施工过程及其程序，建立了基于Petri网络的施工过程模拟模型以及可行施工方案的多目标决策模型。实例分析说明了模拟方法、模拟模型和决策模型是有效的、可行的。     

基于Petri网的车辆交通实时调度研究

设计了一种交叉路口车辆交通实时调度策略,建立了交叉路口交通系统的受控着色PN模型,定义了单个方向上路口车辆的整体等待时间和平均等待时间,实时的根据两个方向上整体等待时间的差值和平均等待时间的差值实现红绿灯的切换。