基于Petri网仿真的随机制造单元性能分析研究

分析了传统随机制造单元Petri网模型能的不足, 对传统随机制造单元的Petri网模型进行了改进。通过对Petri模型的直接仿真, 对不同的Petri网模型的随机制造单元的性能指标进行了分析比较, 并通过和同构的马尔可夫链的计算结果进行验证, 证明了改进后的Petri网模型准确地描述随机制造单元, 对基于仿真的性能分析方法具有普遍意义。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。     

基于Petri网的企业经营过程分析

本文首先对一般中小制造企业的经营制造过程进行分析,建立起企业从供应链到加工制造的基本框架,在此基础上,进一步建立起基于Petri网的系统模型。运用该Petri网模型,对企业的生产经营过程进行模拟和分析,根据分析结果可以对系统的经营过程进行优化和重新组合,降低企业生产成本,提高企业竞争力。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

晶圆制造单元的Petri网建模和性能分析

晶圆制造是半导体制造过程中的一个重要环节,晶圆制造单元的性能直接影响晶圆制造的成本。为了有效地分析晶圆制造单元的动态性能,分别对加工设备存在瓶颈和搬运机器人存在瓶颈的两种情况,进行了赋时Petri网建模研究,建立了晶圆制造单元的赋时Petri网模型。在此基础上,进行了稳态生产率分析,同时用实例验证了模型的有效性和实用性。     

两类组合Petri网与性能分析*

提出两类新的组合Petri网,讨论组合网保持网的结构性质的条件,从而为Petri网的分析与综合提供了有效的方法.     

离散制造装配系统的活性控制

首次研究离散制造装配系统的活性控制问题.建立了系统的工件加工过程Petri网 模型.通过对系统Petri网模型的结构分析,提出了导致系统死锁的两类元素结构及活性特 征.对一类离散制造装配系统提出了避免死锁的Petri网控制器,这类控制器容易实现,对系 统的限制小,而且使得受控系统仍具Petri网模型.对一般离散制造装配系统提出了保证系统 活性的控制策略.     

离散制造装配系统的活性控制1)

首次研究离散制造装配系统的活性控制问题.建立了系统的工件加工过程Petri网模型.通过对系统Petri网模型的结构分析,提出了导致系统死锁的两类元素结构及活性特征.对一类离散制造装配系统提出了避免死锁的Petri网控制器,这类控制器容易实现,对系统的限制小,而且使得受控系统仍具Petri网模型.对一般离散制造装配系统提出了保证系统活性的控制策略.     

虚拟制造企业的Petri网建模/仿真

为降低Petri网建模难度并增强模型的可读性,提出一种通过消息序列表（Message Sequence Chart,MSC）模型对虚拟制造（Virtual Manufacturing,VM）企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制,给出从MSC模型到Petri网模型的转换算法,在不改变Petri模型活性、安全性和有界性等特性的基础上对其进一步优化,并对Petri网模型进行分析与评估．     

基于Agent的对象有色Petri Net及其在制造单元建模中的应用

在对象有色Petri网的基础上，引入知识库、目标库和规划模块，提出一种基于Agent的对象有色Petri网模型。以一个制造单元为例，介绍了使用该模型用于Agent系统建模的方法，以及Agent之间异步消息通信机制。最后，通过分析了由基于Agent的对象有色Petri网简化得到的制造单元的普通Petri网模型，验证了模型具有的三级活性、并发、有效性三个特征。     

一类FMS的最佳活Petri网模型的综合

利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模 型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它 可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造 系统的最佳活Petri网模型.     

基于时域Petri网的业务流程重组建模与评估方法

采用基于时域Petri网的流程建模方法,对业务流程重组过程的可行性进行了分析。在时域Petri网模型的基础上,从是否存在死锁、制造提前期、执行时间和资源成本等方面进行了评估方法研究。通过建模与评估,减少了流程重组的盲目性,降低了重组实施的风险。     

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂,实现对生产事件快速灵活响应,本文提出了一种调度与控制一体化的方法.首先,定义了一种新型Petri网模型,即平行Petri网,从而集成地描述了传感器、执行器、任务和资源信息,构建制造系统的信息物理系统模型;其次,提出了一种从平行Petri网到赋时Petri网的抽象简化方法,大规模压缩优化调度所需搜索的状态空间;再次,定义了策略Petri网以描述最优调度策略.最后,给出了平行Petri网与策略Petri网同步执行算法,使得平行Petri网与物理系统同步执行.     

自动制造系统设计和仿真中的死锁控制

通过对自动制造系统的Pctri网模型的分析．可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Pctri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。     

一种Petri网中S组件的查找算法

对Petri网的深入研究有助于基于Petri网的工作流管理系统的开发,S组件可用来刻画Petri网的一些重要特性.给出了一种在Petri网中查找S组件的算法.实验结果证明该算法是切实可行的.     

有界Petri网的最小化化简

给出了Petri网的语言等价性概念和有界Petri网的最小化概念;证明了有限状态自动机、有界Petri网、正规文法的等价性,给出了它们之间等价转换的算法;分析了有界Petri网的化简过程,并给出了有界Petri网最小化化简的算法,为有界Petri网的自动化化简提供了方法。     

基于着色Petri网仿真模型的安全协议分析

采取形式化方法验证协议的安全性,Petri网是有效的方法之一,但传统Petri网分析过程中经常会出现状态空间爆炸问题。该文采用了基于着色Petri网建立安全协议及入侵者攻击的仿真模型方法,从而获得仿真数据。该方法利用逆向状态分析和Petri网可达性分析,能有效地发现协议中的安全漏洞。并且,如果能恰当地控制好状态空间,则能有效地克服Petri网分析过程中的状态空间爆炸问题。该文给出的利用着色Petri网建立安全协议仿真模型分析的一般方法,实例说明该方法具有普适性,并且方便利用Petri网自动化分析工具实现自动化分析。     

基于XML的Petri网信息读写器研究

作为一种优秀的系统描述与分析的形式化工具,Petri网已经广泛应用于协议分析工程领域、人工智能以及软件工程、程序验证和柔性制造系统等各个领域。由于Petri网适合用来描述并发和分布式系统,就目前来说对Petri网的研究已经取得了较成熟的理论研究成果。同时在对Petri网研究的不断深入过程中,出现了多种Petri网类型、各种Petri网工具和Petri网的文件格式,因此不同Petri网工具之间信息交换功能成为一个急需解决的重要问题。     

基于Petri网的PLC系统设计分析与远程监控

Petri网在离散事件的动态仿真中有着广泛的应用,而如何将Petri网应用到离散制造系统中具有重大的价值.以离散制造业中最常见的搬运机械手模型为基础,提出了它的Petri网模型设计方法,并且利用科学的转换方法将Petri网转化为梯形图,应用到在制造业中广泛使用的PLC系统中.利用这种设计方法,不仅能够轻松地将Petri网应用到实践当中,还能够对模型的死锁、生产周期和不变量进行定量的分析,给制造系统进行管理控制、故障诊断和现场监控带来方便.     

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。