基于Multi-Agent的公路仿真系统框架

为了建立公路仿真系统对公路设计的合理性进行评价，研究了公路仿真系统结构问题。公路仿真系统是连续变量动态系统和离散事件动态系统相互作用的混杂系统，通过分析公路仿真系统的特征，建立基于Multi-Agent理论的公路仿真系统框架。将系统划分为3类相互作用的A-gent，即反应Agent、合作Agent和界面Agent，给出了适合公路仿真特点的Agent元定义，建立了各Agent的协商模型，并对其运行机制进行了讨论。该仿真框架的建立，从软件工程的角度解决了仿真过程中混杂性的问题，对于合理设计仿真系统结构具有重要作用。     

基于离散-连续联合建模的供应链混合Petri网仿真研究

供应链是由作为自治实体的供应商、制造商、分销商、零售商的连续性供应、生产、销售活动和物流服务企业的离散性运输活动相互作用而组成的混合系统。传统把供应链作为离散事件系统进行建模与仿真,这种方法不能很好地反映系统的动态复杂性。现采用离散变量与连续变量相结合的建模方法,运用混合Petri网对供应链进行了仿真,证明了其优于离散Petri网仿真。     

应用微分Petri网分析汽车再生制动模式的切换

针对混合动力汽车再生制动模式切换过程中引起的混杂系统的动态变化难以控制的问题,利用混杂系统理论,分析了混合动力汽车制动过程中的离散事件和连续状态变量对再生制动模式切换的影响.基于给定的再生制动控制策略,建立了再生制动混杂系统的微分Petri网模型,在以往建模方法的基础上增加了对离散事件的单独刻画,实现了对再生制动过程中的离散事件和连续状态变量的综合建模.通过Matlab/Simulink/Stateflow建立再生制动数学模型,实现了对再生制动过程中离散事件和连续状态变量的综合仿真,完成了再生制动模式判断和模式切换过程,结果表明微分Petri网用于再生制动混杂系统建模是合理和可行的.     

一种离散随机Petri网的性能计算和分析方法

为了有效地计算离散事件动态系统Petri网模型的时间性能,用一种离散扩展随机Petri网建立系统的性能模型,采用基于T-组件网的化简技术,结合等效延迟时间和概率分布不变的计算方法,求解和分析Petri模型的时间性能参数.实验结果表明,变迁不仅可以被赋予任意的延迟时间和概率分布,而且计算结果也具有很高的精度,为离散事件动态系统的建模和性能计算与分析提供了一种有效的数值化计算方法.     

混杂动态系统的建模与控制

混杂动态系统是由连续变量动态系统与离散事件动态系统相互作用组成．本文提出用ＳＩＧＮＡＬ语言对松耦合ＨＤＳ进行建模和分析的方法，并对这类系统的控制问题进行讨论．     

基于模型组件技术的通用离散事件动态系统仿真模型

针对传统离散事件动态仿真软件可重用性差的缺陷，提出了基于组件技术的设计方法，给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现，开发了类似Matlab的离散事件动态系统仿真环境，该仿真工具通过拖放创建模型，联线建立模型间逻辑联系，并在炼钢连铸车间物流仿真中得到了运用。该设计方法还可以推广到其他柔性制造系统的仿真应用中。     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

基于multiSIM环境下的混杂系统仿真

混杂系统的仿真通常是在MATLAB环境下进行的，如果要用电路来实现混杂系统的监控器，还需要做数学模型到电路模型的映射并对电路模型再进行仿真．笔者提出了基于multiSIM环境下的混杂系统仿真方法，可直接得到系统监控器的电路模型．用模拟电路来模拟混杂系统的连续时间子系统，其离散事件子系统用Petri网建模，并对模型用VHDL编程，经编译、仿真后封装成器件，将两部分电路相互连接，通过multiSIM仿真，获得混杂系统的性能．文中通过一个液位控制系统实例具体介绍了这一方法，其仿真结果证明了该方法的正确性．这对于混杂系统的研究，以及片上嵌入式系统的设计都具有重要的意义．     

Petri网在物流系统建模中的应用

Petri的动态、异步、并发等特征使其特别适合对离散事件系统进行建模与仿真,而其深奥的理论知识限制它的普及应用。本文力求用一种浅显易懂的方法将它用来描述物流系统模型,并在此基础上引入Pr/T系统描述方法,对复杂Petri网物流模型进行简化。     

城市道路交通仿真系统混合Petri网建模

城市道路交通系统是一个离散和连续相结合的混合动态系统，具有动态、并发及同步等特征，混合Petri网可以很好地描述城市道路交通网的静态属性及动态行为，为此给出了混合Petri网建模实例，并对模型进行了仿真运行分析，最后介绍了城市道路交通仿真系统的仿真策略与仿真流程图。     

化工生产过程的混合佩特里网建模方法

针对连续化工生产过程中混杂的离散事件,提出了基于混合佩特里网的建模方法。且由于连续对象的数学模型越来越复杂化,要求越来越高,文中在佩特里网中引入人工神经元网络,以汽提塔液位控制为例,详细分析了连续过程和离散过程的混杂特性。     

导弹拦截的混杂对策系统建模研究

导弹拦截系统中既存在轨迹的连续变化过程,也存在策略的选择问题,单独采用微分对策和事件对策均无法有效描述该系统的混杂特性.将该过程看作一类混杂系统,提出一种导弹拦截过程(missile interception process, MIP)的混杂对策建模方法.基于混杂随机时延Petri网(hybrid stochastic timed Petri net, HSTPN)建立导弹拦截事件对策模型,结合导弹飞行过程的动力学模型建立拦截过程的微分对策模型;以“民兵Ⅲ”导弹作为进攻弹,对MIP的混杂过程进行实例仿真.结果证明,采用混杂对策建立的导弹拦截混杂描述方案,既可以较好地描述导弹轨迹的连续变化过程,也可以描述策略的选择问题.     

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

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

基于Petri网和PSO算法的动态分类车间调度

以带有约束条件的Petri网为动态车间调度问题建模,同时提出一种针对动态车间调度问题的编码粒子群算法,对调度序列进行优化．对算法进行了仿真研究,研究结果表明该算法是可行、有效的．     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

Petri网维修事件仿真系统的HLA兼容性改造研究

通过对基于Petri网的维修事件仿真系统运行过程分析,确定其与外界的信息交换能力。开发了仿真对象模型（SOM）,并对其信息接口进行了改造。从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接。探讨了Petri网仿真模型改造为HLA成员的关键技术,为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。     

带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.     

飞控计算机系统分层混合可靠性建模方法

对于复杂的非相似、多余度飞控计算机系统,根据其结构特点,综合静态和动态可靠性建模方法的优势,提出了采用可靠性框图（RBD）和广义随机Petri网（GSPN）相结合的分层混合建模方法,并对建模过程中低层各子系统存在共因失效部件情况下的可靠性建模和求解作了分析.分别采用分层混合建模方法和动态可靠性建模GSPN方法对Boeing777电传主飞控计算机系统进行可靠性建模和分析.同动态GSPN方法相比,该方法综合采用了静态和动态可靠性建模方法,具有状态空间模型的灵活性和组合模型求解的高效性,同时层次结构避免了GSPN方法带来的状态空间爆炸问题.由结果比较可得,该方法可行、高效、精确.     

一类混杂系统Petri网控制器的设计

在一类混杂控制系统中提出了禁止状态控制问题，给出了能保证系统状态不进入禁止状态的Ｐｅｔｒｉ网监控器的综合方法．通过示例说明了问题的形成与控制器综合方法的有效性．     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.