板材FMS基于规则的面向对象Petri网建模

基于柔性制造系统（FMS）的运行特点，提出了基于规则的面向对象扩展着色赋时Petri网建模方法，该方法集中了面向对象技术和Petri网的优点，并融系统决策规则于模型中，利用该方法建立了板材FMS的模型，为系统仿真和调度研究创造了条件。     

板材FMS的面向对象扩展Petri网建模与分析

基于柔性制造系统（ＦＭＳ）的运行特点,提出面向对象扩展着色赋时Ｐｅｔｒｉ网建模方法。建立了板材ＦＭＳ的Ｐｅｔｒｉ网模型,对模型中的潜在冲空进行分类和分析,为系统传真和调度研究创造了条件。     

基于Petri网与Flexsim的生产物流系统建模与仿真

生产线是一个大型复杂的离散动态系统,建立一个生产成本低,产品质量高的生产线,需要花费很大的投资,因而对生产物流系统的建模和仿真是必不可少的.应用Petri网对生产物流系统进行建模.并通过在Flexsim中的实体演示,分析系统优化系统.     

基于Petri网模型的物流系统建模

提出了一种基于Ｐｅｔｒｉ网动态模型的物流系统的Ｐｅｔｒｉ网模型，可以将物流系统的物理过程通过网系统形象地表示出来，基于Ｐｅｔｒｉ网模型的仿真系统能更真实地反映系统的动态特性。     

基于Petri网和Witness的托辊生产物流系统建模及仿真优化

经济的发展促进了对散装物料运输的需求,进而增大了对带式输送机的需求。但是,由于生产该输送机的主要部件——托辊的生产物流系统效率低下,加剧了输送机供需矛盾。针对这一问题,鉴于托辊结构及生产工艺的复杂性,利用Petri网对托辊的生产物流系统进行建模,直观地展现了托辊的生产过程,精确地描述了系统中事件的相互关系,并构造关联方程证明了该模型的可行性。在此基础上,运用Witness软件进行仿真,得到了导致生产物流系统效率低下的瓶颈设备,并对其进行优化以提高生产效率。仿真结果证明:优化方案减少了平均处理时间和阻塞率,增加了托辊的产量,提高了托辊生产物流系统的效率。     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

基于Petri网的生产物流系统仿真软件的研究

利用Petri网可以很好地描述离散事件系统的动态、异步、并发等特征,并结合面向对象的思想,建立生产物流系统中各个对象及其之间关系的Petri网模型,然后将其映射为软件程序中的类,利用C#编程语言开发出适合中小企业使用的生产物流系统仿真软件.通过实例验证,所开发软件结果与实际接近,可以为企业物流系统设计提供指导.     

基于Petri网的FMS仿真系统的构建与实现

介绍了柔性制造系统(FMS)的基本原理,围绕如何增加和降低柔性提出了一种仿真系统.该仿真系统是基于Petri网原理进行构建与实现的,为FMS开发提供了一种最经济、最安全、最便捷的实验和决策手段.     

基于设计结构矩阵和着色Petri网的产品设计过程建模与仿真

将设计结构矩阵与着色Petri网结合后,进行了产品设计过程建模与仿真的研究。首先利用设计结构矩阵对产品设计过程进行建模,从产品设计过程特点出发,为支持基本过程逻辑的描述定义了着色Petri网基本网模型结构,将设计结构矩阵映射为着色Petri网,建立了产品设计过程着色Petri网模型。在此基础上建立了对设计资源进行有效分配的动态分配模型,通过定量仿真分析,实现了产品开发过程资源冲突的检测及资源的重新分配和调整。桥式起重机小车设计的实例说明了该方法的有效性。     

基于面向对象智能Petri网的FMS单元控制模型

单元控制器是CIMS递阶控制模型中具有决策功能的最小自治单位,在实时性和可重用性方面有较高的要求。提出了一种基于面向对象智能Petri网的离散制造单元控制系统模型,该模型可以表示高级调度知识,可重用性强,便于开发高效、可靠的单元控制系统。讨论了面向象智能Petri网的定义、运行冲突分析和建模方法,并举例进行了说明。     

基于着色Petri网的工作流建模和合理性分析

针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。     

基于Petri网的智能制造系统建模

阐述了Petri网在智能制造系统建模中的突出优点,对其进行了扩展,并与面向对象技术相结合形成了面向对象Petri网（OOPN）,提出了利用OOPN建立智能制造系统结构模型,行为模型,控制决策模型和消息模型的方法,通过利用OOPN建立智能制造中加工结点模型的实例,充分说明了面向对象Petri网的有效性和强大的建模能力,为智能制造系统的设计,性能分析,运行状态监视提供了一条有效途径和强有力的工具,必将在制造领域得到广泛应用和进一步的发展。     

基于面向对象Petri网的多Agent系统交互协议建模

为了描述、分析和验证多Agent系统交互协议,提出了一种面向对象Petri网。与现有的形式化方法相比,面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议,可以描述其静态和动态语义,并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性,能单独地分析参与交互的每一个Agent,而不会影响其他Agent和环境的状态。最后,利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议,并对一个买卖Agent交互实例进行了建模和动态分析,验证了面向对象Petri网具有较好的建模能力。     

制造系统建模中Petri网的工具和方法

本文概述了Ｐｅｔｒｉ网研究方面的一些最新研究结果，讨论了基于Ｐｅｔｒｉ网的一些建模工具，这些工具特别适合于制造系统的建模，性能分析，实时控制、系统可靠性系统等，文中还介绍了实际应用中所获得的某些结果，最后，提出了Ｐｅｔｒｉ网在制造系统建模中需解决的若干问题。     

基于面向对象技术的物流系统的调度与仿真

基于面向对象方法学,采用窗口界面技术,提出了一种面向对象和基于图形的建模仿真环境的技术方案,同和对象技术解决了ＦＭＳ（柔性制造系统）中的模型复杂性高和可重用性差的问题,为进一步开发物流实时离线（或在线）调度仿真软件提供了一个很好的环境。     

基于着色赋时Petri网的自动化立体仓库系统建模

阐述了利用着色赋时Petfi网(CTPN)构建带有RGV小车和堆垛机等模块的物流自动化立体仓库(AS/RS)的系统建模方法,其中token(托肯)表示任务号、堆垛机和RGV小车,它们的颜色域则描述任务执行过程中的序列,并举例详细说明了应用该方法建立自动化立体仓库系统模块化框架的过程.     

Petri网在制造系统建模与仿真中的应用

介绍制造系统的概念以及制造系统建模与仿真的目的和意义,阐述Petri网的内涵,同时引出面向对象的Petri网的定义.依据面向对象的Petri网的理论,给出制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中的应用.