基于Petri网的仓储物流系统建模与仿真

Petri网作为一种离散事件动态系统的建模和分析方法，提供了在逻辑时序下研究系统特性和性能的有效手段，并有图形方法的直观性和逻辑方法的概括性．运用Petri网对一个简化了的仓库物流系统进行建模，运用基于Petri网的仿真软件对其仓储系统进行了仿真，并简单地分析了仿真的运行结果，由此提出了一种物流系统实际运作的仿真方法．     

基于Petri网的CONWIP控制系统的建模与仿真

基于Petri网理论,构建了CONWIP控制系统的分层模型.在此基础上,运用仿真软件Arena,对CONWIP、MRP和Kanban系统的制品数量、平均加工时间、平均作业率等指标进行了分析比较.结果表明: CONWIP系统最优,可有效控制在制品数量和有效利用机器产能.     

基于Petri网的集装箱空箱调运仿真分析

Petri网可以很方便地用来分析离散事件系统和建立模型。对集装箱空箱调运系统(CAECS) 进行了分析, 构建空箱调运的Petri网模型, 然后利用EXSPECT仿真软件进行模拟仿真, 从而证明了利用Petri网分析和解决集装箱空箱调运问题的有效性。     

Petri网模型的程序仿真

提出了Windows平台上Petri网模型的程序仿真方法--用Windows操作系统中的线程和线程同步对象实现Petri网模型的两个基本元素(状态和变迁)的算法,并用一个模型来验证该仿真方法的正确性.仿真结果表明,算法正确,方法可行.     

基于GBAS的公交路径选择仿真系统研究

通过对公交系统进行网络描述,提出以换乘次数最少为首要优化目标,以公交出行距离最短为第二优化目标的基于GBAS(基于图的蚁群系统)的公交出行路径选择算法.同时,以该算法为核心研发一套仿真系统对算法有效性进行验证,亦具有一定的应用参考价值.     

基于Petri网的拖车到达调度优化模型与仿真

为解决内河集装箱码头大量等待作业的拖车引起港口外围交通要道阻塞的问题,通过优化拖车到达调度,采用非平稳泊松过程,模拟进港拖车到达规律,建立了适合珠三角内河集装箱码头进港拖车到达作业流程的混合Petri网(hybrid Petri net, HPN)模型和优化调度方案.根据HPN模型对佛山市三水港建立了Arena仿真模型,使用过程分析器(process analyzer, PAN)确定拖车的最优到达批量并检验优化效果,仿真结果表明:拖车到达调度优化后,拖车等待时间可减少87%,等待数量减少了26%,调度优化有效地缓解了港口拖车排队导致的交通阻塞问题.      

基于Petri网的模块化生产系统建模

针对模块化生产系统是一种结构组成多样,事件触发频繁,控制对象多,控制信息量大,系统结构复杂的典型的离散型动态系统,基于Petri网对模块化生产系统总体工艺路线进行建模,验证了所设计的总体工艺路线的可行性.同时提出了一种直接利用Petri网编写PLC程序的方法.     

运输网络最大流的Petri网图仿真算法

现代化的综合交通体系和智能交通系统要求必须首先解决运输需求分析和运输网络分析的技术问题。Petri网理论可以被引进到运输网络理论中, 用来解决最基本也是应用最广泛的最大流问题。首先介绍了Petri网与有向网络的Petri网模型; 然后, 给出有向网络最大流的求最短路法; 在此基础上, 采用Petri网论法和计算机图形仿真法相结合的方法, 求解运输网络最大流。即用Petri网图仿真器把无向运输网络转化为有向运输网络, 然后求有向运输网络G的对偶网络DG, 再用Petri网图仿真器将对偶网络DG转换成Petri图模型, 并自动求得DG最短路(原网络G的最小割容量), 即运输网络最大流。该方法比现有方法更方便, 速度更快, 而且形象、直观, 是更实用的方法和手段。     

基于微机平台仿真培训系统的研究

分析了基于微机平台仿真培训系统的特点,系统结构和开发方法,介绍了计算机仿真,虚拟现实和计算机图形学等领域最新成果在仿真培训系统中的应用。     

基于Arena的客运站系统仿真建模

基于Arena的客运站仿真系统是利用Arena软件建立的对汽车客运站运营情况进行模拟和分析的系统．该仿真系统运用面向对象的思路建立,仿真模型具有通用性．通过仿真结果可以定量的分析客运站系统瓶径、服务效率、员工工作强度等一系列问题,从而帮助客运站设计和管理人员对方案进行预测和比选．案例研究证实了该系统的运行结果能够较准确地反映客运站的真实运营状况,可以用来进行方案预测和方案比选．     

基于随机Petri网的GSM-R越区切换成功率的形式化分析

首先建立了基于随机Petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素.其次,说明了随机Petri网与马尔可夫链的关系,以及使用马尔可夫链分析“GSM-R越区切换的随机Petri网模型”的方法.最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高     

基于Petri网的工作流管理系统的设计与实现

以某供电公司工作流管理系统为背景 ,采用群件系统LotusDomino/Notes平台 ,在分析Petri网的基础上 ,提出了单一状态模型的工作流设计思想 ,并完成了工作流管理系统的设计和实现 ,从而实现了办公过程的无纸化和自动化 ,支持协同工作 ,提高了现代企业的管理水平和工作效率 .     

基于赋时可重构Petri网的可重构制造系统调度算法

根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序，生成并求解部分可及图，以获得优化或准优化的调度．该算法能以较低的计算成本获得可重构制造系统最小的最大完成时间．用一个调度算例验证了该调度算法的可行性．     

基于Petri网建模的机务段管理信息系统的研究与实现

将Petri网建模技术应用于机务段信息化系统的开发过程中,并结合Petri网理论和机务段业务流程的特点,提出了机务段业务流程模型,通过定义的模型5元组来描述各检修过程之间的信息、资源和组织之间的关系,引导过程中的检修活动自动进行,对检修活动所需的资源进行调度分配,从而将各检修活动组织成一个顺畅的工作流程,为机务段业务流程的分析优化以及应用软件系统的开发提供了逻辑模型支持;通过矩阵方程对所建网模型进行性能分析,证明该模型的合理性．该模型能顺应机车检修工艺的变化重组业务流程,实现信息系统的可持续升级．     

���е�·��ͨϵͳ�Ķ�̬�����Petri����ģ�����

城市道路交通系统是一个同时具有离散和连续动态,并包含大量随机不确定因素的动态系统,具有动态、并发及同步等特征.在目前交通状况日益复杂的情况下,其动态及随机不确定特性愈加明显.对城市道路交通系统进行建模分析,是深入了解交通状况、进行交通诱导及控制的关键.本文在基本Petri网的基础上,将广义随机Petri网(GSPN)与交通流概念相结合,建立了符合交通流概念的动态流随机Petri网(FSPN)模型.该模型可以很好地描述城市道路交通流的动态及随机特性,并能对城市道路交通系统中的某些随机现象作出很好的解析描述.文中针对四相位十字交叉口给出了动态流随机Petri网建模实例;活性分析表明,该模型能有效避免系统并发性带来的死锁现象.最后仿真运行分析和性能分析进一步证明了动态流随机Petri网的有效性.     

Resarch on Welding Robotic System with Petri Net

Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, model simulation experiment was designed to validate the model. And a sort of controlling software was designed on local net. Besides, a special welding experiment had been designed to check the controlling way. Results show the controlling process rightly and feasibly.     

Modeling and Analysis of Logistics System Based on Stochastic Petri Net under Supply Chain Circumstances

In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net (SPN), and proposed a theorem for the adjustment ability of logistics system under supply chain circumstances on condition that the payoff of supply chain is a steadily increasing process. Then we put forward that a sequence of MGF (moment generating function) of out-of-goods risk process for logistics system is a martingale. The model we proposed can overcome shortcomings of the previous ones that can not describe the characteristics of the adjustment ability of logistics system. The results of simulation experiments are consistent with theoretical analysis.     

Petri网与字典法结合的闭塞系统的故障诊断方法

Petri网具有成熟的理论,广泛应用许多领域.采用Petri网与字典法相结合的策略,以便获得基于Petri网站间闭塞系统的故障诊断方法.给出了应用实例.与传统方法相比,该方法提高了效率和准确性,更适应在线故障检测.     

组合定位系统中时间Petri网的应用方法研究

组合导航定位系统是智能交通系统中的重要组成部分,它综合运用微电子技术、数字信号处理技术等,通过最优滤波和数据融合得到连续可靠的定位数据.因为需要采集多个传感器的数据对时序控制要求严格,因此系统采用具有反馈设计的时间Petri网方法对软件流程进行动态监测和实时分析,大大提高了软件运行的可靠性.