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

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

混合状态Petri网及其在过程控制混杂系统中的应用

为了处理混杂系统的建模问题，提出了一种称为混合状态Petri网(HSPN)的混合Petri网，给出了HSPN的定义及其变迁规则。采用一个实际化工过程为例建立了HSPN模型，该模型可以用于混合控制器的设计，仿真结果表明了其有效性。本文还简要地讨论了HSPN的一些性质。     

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

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

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型     

面向对象Petri网的离散事件系统仿真建模

将Petri网技术和O－O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网（OOPN）,它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0－O技术和Petri网结合起来,以实现仿真建模。     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

事件驱动系统的Petri网建模

 讨论一种事件驱动系统的建模方法,对基本Petri网作一定的扩充,使之具有描述事件/状态、控制结构和系统并行性的能力.     

Petri网及其空调系统建模应用

首先介绍了Petri网的定义、性质以及几种重要的扩展形式的Petri网,然后以空调管理系统中混合箱的模型为例来说明Petri网在系统建模中的应用,该模型经仿真验证结构合理,且对于进一步研究空调系统的Petri网模型具有重要的意义．     

基于Petri网的数字图书馆系统建模

Petri网是具有形象直观的图形描述以及严格的数学定义的建模工具。通过对数字图书馆书刊流通系统建模,探讨了Petri网在数字图书馆建模中的运用。     

混合随机Petri网

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

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

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

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于规则嵌入赋色Petri网模型的柔性装配系统仿真

针对柔性装配系统复杂的并行作业特点，提出了规则嵌入赋色Petri(RCP)网模型．给出RCP的定义，利用面向对象的语言实现了网的静态描述以及动态运行，在此基础上得到了相关的系统参数，柔性仿真系统以模块化结构实现．以上海科技馆的机器人柔性装配系统为例，给出了它的RCP仿真模型，求出了某作业初始序列下的系统参数，并得到了该作业的最短完成时间的优化序列．     

基于Petri网的机务工程管理工作流建模

通过采用先进的流程建模技术实现机务工程管理的现代化、科学化已成为非常迫切的任务.本文采用基于petri网的工作流建模技术能够更好的适应由于航空机构改革所带来的机务工程管理信息化的演进与完善.     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

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

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

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。