基于CPN Tools的港口集装箱物流系统建模与仿真研究

港口集装箱物流系统是一个复杂的离散时间动态系统(DEDS),适合于使用着色Petri网进行系统建模.CPNTools是一款成熟的CPN建模与仿真工具,使用CPN Tools进行着色Petri网的建模与仿真不但可以简化建模过程,而且可使用标准ML语言对模型进行定义和描述,为复杂物流系统的建模与仿真提供了有力的支持.     

基于Petri网的再制造逆向物流网络建模

本文在总结了基于Petri网的供应链建模与分析技术的基础上,将Petri网技术应用于再制造逆向物流中。针对再制造逆向物流网络的结构特点,分析再制造加工网络的工作流程,应用基于Petri网的供应链建模技术,构建了再制造逆向物流网络的Petri网模型,对逆向物流系统进行了模拟仿真。     

一种基于Petri网的物流配送系统建模方法

为了降低物流配送系统建模和分析的复杂性,对Petri网进行扩展,提出同步时间Petri网的概念。利用该模型可以很好地刻画物流系统模型中的并行同步结构,同时得到的模型包含若干具有交互关系的子模型,可以通过各个子模型来分析整个系统的性质。所提出的模型能清晰刻画物流配送系统,并有效地降低了建模的复杂性,一定程度上降低了原有的Petri网模型因规模庞大产生的状态空间爆炸问题。     

Petri网理论在物流管理中的应用研究综述

从生产物流系统建模与仿真、仓储配送物流系统建模与仿真、物流系统及业务流程建模优化、物流信息系统建模与开发、采购与运输系统建模优化等5个应用角度出发,对2004—2009年Petri网理论应用于物流管理领域的相关文献进行分类和整理分析,并对其进一步的研究和发展趋势进行展望。     

Petri网在军事供应链建模中的应用

军事供应链的特殊性使得它的信息流、物流的传递和控制相对企业物流有很大不同,动态特性、复杂性、层次性更强.为便于直观理解军事供应链的保障过程,本文借鉴Petri网的建模优势,对军事供应链的运作整体流程进行了设计描述,并特别建立了关键环节一储存系统的Petri模型图.     

基于Petri网的钢铁企业原料供应物流优化

分析了钢铁企业原料供应物流优化的重要性,利用Petri网建模方法和Arena仿真软件对原料到达入库的物流系统进行了分析并提出了优化措施。     

Petri网的角色扩展探讨

Petri网具有严格的数学表述方式和直观的图形表达方式,在软件设计、工作流管理、工作流模式、数据分析、并行程序设计、协议验证等方面得到广泛的应用。随着Petri网的研究和应用的发展,产生了许多扩展Petri网的建模表达方式,包括:着色Petri网、时间Petri网、层次Petri网。现时的软件设计方法以面向对像为主流,在需求分析阶段要对业务流程进行建模工作,需要对业务过程中的人和事进行表述。使用Petri网对业务流程进行建模,一方面,Petri网可以很好地表现业务数据的变迁,却未能表达出相关业务数据变迁所涉及到的实际操作角色。另一方面,使用基于UML和Petri网的混合设计,要做大量的规则映射,不便于最终用户阅读。文章尝试讨论在经典Petri网的基础上,不改变Petri网的数学性质,为Petri网的变迁增加角色属性的描述,使之更有效地适应具体业务流程建模。     

基于Petri网的物流分拣系统的建模与仿真

阐述了面向对象着色Petri网理论，并将它应用于物流分拣系统的建模，在分析该系统的基础上，建立了系统的面向对象着色Petri网模型，并借助AutoMod仿真软件对分拣系统进行了3D仿真。     

基于Petri网的分析方法简述

对数学和图形进行描述和分析的工具很多,但能用良好的数学性质把一些复杂的现象（例如,同步、并发、分布、冲突、资源共享等）描述的直观、生动形象的工具很少,而Petri网就具有这些优点。在分布式系统、信息系统、离散事件系统等领域,都可以利用Petri网对离散事件动态系统建模、规范分析和设计,而且非常好。Petri网有很多分析方法,文章就作简要概述。     

云南花卉航空运输物流流程优化与仿真

针对现行花卉航空运输物流流程中存在的主要问题,提出相应的流程优化策略;并应用Petri网建模方法,建立流程优化前后的时间Petri网仿真模型;最后结合流程运行的实际情况,设置模型参数,使用ExSpect软件对模型进行仿真,采集并分析仿真结果。     

基于TOC和面向对象Petri网系统的后勤保障流程建模

在后勤保障流程建模中。提出了一种将有色Petri网系统、广义随机Petri网系统与面向对象技术、约束理论相结合的流程建模方法，使得模型具有较好的模块性、扩展性。通过应用该方法对军队物资采购机构单元Petri网模型进行着色、赋时、对象化改造，详细说明了该方法的建模步骤。     

基于Petri网的冷链物流配送流程建模与仿真

利用Petri网描述事件的特性和CPNTOOLS软件的仿真优化功能,对某冷链物流企业配送流程建模和仿真优化.分析了物流配送业务流程,建立了基于Petri网的某企业冷链物流配送业务流程模型,并对所建立的某企业冷链物流配送业务流程模型利用CPNTOOLS进行仿真分析和优化.采用流程合并、取消、简化、重排、新增等业务流程优化方法,得到优化后的业务流程,并对该流程与优化前进行对比分析,得出优化后的业务流程降低企业的配送成本.     

运煤专用线列车运行的Petri网仿真模型研究

引入着色赋时Petri网(CTPN)分别建立了运煤专线列车在区间运行、车站联锁控制系统的仿真模型,并在此基础上建立了作业复杂的装卸车站的Petri网模型。对列车在闭塞区间运行建模解决了固定闭塞的闭塞占用表达问题。对车站系统进行建模的关键在于描述车站的联锁控制机制。给出列车进路的CTPN模型,并用Petri网描述了装车站的车站控制中心。最后利用Exspect软件搭建了仿真系统,为科学评价列车运行计划,优化列车调度指挥,对能力计算、利用和加强提供了工具平台。     

一种基于对象工作流网的学习过程模型

为了对E-learning的学习过程建模,采用双层建模技术,下层是语言描述层,以WfMC提出的XPDL为基础,结合学习领域的具体领域特征,对学习过程进行形式化描述,上层是流程逻辑层,采用对象Petri网实现,可以对下层模型进行数学上的分析、验证,保证所建模型的正确性、完整性,同时又可解决普通Petri网在规模过大时容易出现的状态爆炸问题。     

区块链中电商冷链溯源系统Petri网建模与分析

华东交通大学交通运输与物流学院;华东交通大学高铁与区域经济发展研究中心;福建商学院工商管理学院;摘要电商的快速发展,为冷链产品开辟了新的流通路径,冷链电商市场成为新的增长点。同时,食品安全问题已成为人们关注的焦点,食品若不安全会影响社会经济的发展,威胁人们的身心健康。本文基于Petri(佩特里)网理论,围绕区块链技术在物流溯源领域应用的实际情况,分析了冷链溯源系统的整体业务流程,建立了冷链溯源系统的Petri网模型,利用关联矩阵和不变量分析模型的有界性、可达性、活性和安全性,并使用HIPS工具,进行了仿真验证。设计了基于区块链技术的电商冷链溯源系统,为实现全民监督,保障电商冷链食品质量安全和精准定位,提供了有效的途径。研究对降低电商冷链企业运营成本和农民增收具有理论价值和实践意义。     

港口集装箱码头集卡优化调度研究

文中结合港口集装箱码头集卡调度的特点,提出现代集卡调度系统,通过两种调度模式的比较总结现代集卡调度系统的优点。并提出了集装箱码头物流系统有色Petri网建模的基本构架和一种新的遗传算法调度编码方式。     

Analysis of discrete-time stochastic petri nets

The Petri net formalism is widely applied in both theoretical and practical settings. For the sake of performance analysis, the original Petri net model has been extended with the notion of time. This paper addresses the different issues involved with this extension. Also, it provides a state-of-the-art overview of different analysis techniques for timed Petri nets. A new analysis technique is presented, which combines the freedom of choosing arbitrary time distributions within a Petri net model on the one hand and efficient computation means on the other.     

时间Petri网在项目进度管理建模中的应用

通过分析现有时延Petri网和时间Petri网在项目进度管理仿真模型的不足,提出基于库所时间约束Petri网的项目进度管理模型,该模型具备全局时钟特性,不仅能体现工序自身时间参数,同时能对外部资源等工序外延时间约束进行建模。实例仿真结果表明该模型的有效性。