隧洞施工过程的Petri网络模拟方法

Petri网络模拟方法是通过应用Petri网的基本特性对施工系统进行建模，描述模型中资源等施工参数随施工进度的变化，其网络模型能够较好地描述实际施工系统的动态变化情况，优选施工组织方案和施工机械设备的配置。本文系统分析隧洞施工过程及其程序，建立了基于Petri网络的施工过程模拟模型以及可行施工方案的多目标决策模型。实例分析说明了模拟方法、模拟模型和决策模型是有效的、可行的。     

施工截流运输系统的赋时Petri网模型及其仿真实现

运输系统的规划直接影响施工进度的实现和工程建设的成败。本文利用Petri网适合于描述系统组织、结构和状态的变化及面向对象仿真技术易于构造相互作用的现实系统模型的特点，建立了赋时Petri网的三峡三期截流施工运输系统模型，并将面向对象技术溶入Petri网。运用仿真模型及方法优选施工机械设备的配置，较好地反映了施工系统状态的动态变化情况。计算与分析结果表明该仿真模型及方法是有效的、可行的。     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

面向工程项目群实施阶段的HTCPN过程建模

构建了一个能够准确表达工程项目群实施阶段系统性、动态性、随机性的过程模型。在对工程项目群实施阶段特点分析及框架模型构建的基础上,基于分层赋时着色Petri网定义了工程项目群实施阶段过程模型,该模型能够准确描述工程项目群实施过程中并发、同步、并行和随机性等系统特征,揭示项目群系统内部动态行为特征,为全面、准确地掌握项目群实施全过程、实现项目群实施阶段的流程优化提供有力的技术与方法支持。借助CPN Tools仿真平台,以某工程项目群实施阶段为例进行了实例建模与仿真,验证了基于分层赋时着色Petri网构建工程项目群实施阶段过程模型的有效性。     

基于随机赋时Petri网的车辆交通系统建模与仿真

针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达（离开）道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路口的车流动态过程,可以为交通调度算法提供了实验平台。     

IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

基于着色赋时PETRI网的运行图稳定性评价研究

运行图稳定性评价问题是当前运行图理论研究的重要方面,也是运运输生产实践中计划与调度部门一直以来重视的问题。引进着色赋时Petri网（CTPN）分别对列车的区间行驶和车站作业两部分进行系统建模,结合运行图适应度评价指标,利用Exspect软件对建立的模型进行了仿真分析,实现对运行图稳定性评价的目的。以京津城际客运专线为案例,对运行图进行稳定性评价,结果表明基于文中着色赋时Petri网的运行图稳定性评价方法是有效可行的。     

用层次颜色Petri网模拟主体行为

智能主体动态动作的形式化描述是开发应用多主体系统的的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中.该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如P/T系统)模拟复杂系统时所遇到的难度.     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于时间Petri网的实时多任务调度方法研究

Petri网是一种模拟和分析的系统工具，能有效地描述并发与并行、同步与异步问题。对时间Petri网在水下航行器制导系统仿真多任务调度中的应用进行了探索和研究。首先介绍了时间Petri网的基本原理，并以水下航行器制导仿真系统为例，将水下航行器制导仿真多任务系统划分为自导子任务、控制子任务、程序弹道子任务、目标运动子任务和指挥导引子任务，在建立和分析时间Petri网模型的基础上，给出资源的束双处理器条件下的最佳调度方案。仿真结果表明，通过该方法完成的多任务调度，能使水下航行器制导仿真系统多任务协调地在双处理器计算机环境下运行，满足水下航行器制导仿真系统分析研究的需求。     

基于多Agent的混凝土坝施工仿真与优化研究

混凝土坝施工仿真的复杂建模过程限制了其成为混凝土坝施工管理的有效手段。将智能化仿真与混凝土坝施工仿真相结合,提出了基于多Agent的混凝土坝施工仿真与优化方法。采用多策略建模方法来构建具有不同智能层次的Agent模型,简化了Agent模型的实现过程;阐述了混凝土坝施工过程仿真中仿真行为推理建模、规则知识的获取与应用、Agent间的通信与协商机制等多Agent实现方法;建立混凝土坝施工仿真系统Agent分类的整体模型结构,并论述了该系统的实现过程。基于多Agent的混凝土坝施工仿真系统的开发,增强了施工仿真的可信度和适用范围,实际工程的应用验证了该系统的有效性。     

军用飞机修理线建模与修理能力分析

为准确掌握军用飞机修理线的实力状况,有效提升大修能力,结合Petri网建模仿真方法,开展修理线的能力分析。根据军用飞机修理线特点,建立了修理线层次结构模型。针对飞机大修过程的离散动态特性,采用分层赋时Petri网进行刻画,并根据大修实际制定模型运行规则。设定了修理能力分析指标,并通过仿真,从不同层面进行修理线的能力统计分析,寻找修理能力制约点和提升点。通过案例验证了所提模型与方法的可行有效性,对军用飞机修理线能力建设具有现实意义。     

基于GIS的混凝土坝施工三维动态可视化仿真研究

为简化水电工程混凝土坝施工仿真的建模，同时实现施工过程中复杂动态时空逻辑关系的直观表达，提出了基于GIS的混凝土坝施工三维动态可视化仿真方法。通过计算分析不同方案下大坝施工的具体技术指标，可得到合理的大坝混凝土浇筑进度计划，并应用GIS技术在建立的混凝土坝施工系统数字模型基础上，用三维动态演示技术将复杂的大坝施工过程用运动着的画面形象逼真地描绘出来，从而为工程施工组织设计与管理提供了强有力的可视化分析手段。     

多尺度条件下制造系统的监控器设计——极大代数方法

针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间Petri网的建模方法,通过建立一个新型的双子代数系统,把混杂时间Petri网模型转化为极大代数模型.在极大代数模型基础上,借鉴自动机理论和格理论,通过定义保并映射和保交映射等概念,提出了一种监控器设计方法.这样我们可以继续在极大代数框架下研究时间多尺度条件下制造系统的建模和控制.一个简单的示例说明了极大代数方法的有效性.     

混凝土坝浇筑过程建模及绘制方法

随着虚拟现实技术的发展,三维仿真系统作为一种全新角度的管理方法和技术手段在工程进度管理中起到越来越重要的作用。提出了一种对混凝土坝浇筑过程进行建模以及仿真的方法。对大坝整体模型进行三维裁剪来得到不同浇筑时期大坝的模型,不同于以往工程仿真中对不同时期分别进行建模的方法。并基于Shader Model 4.0构建了实时绘制框架,提高仿真效率。基于上述方法设计实现了一个混凝土坝浇筑过程仿真系统。仿真结果验证了提出的方法可以满足工程需要。     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

一种Petri网合成方法及其在系统建模中的应用

针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。     

基于UML的飞机维修保障仿真研究

统一建模语言(UML)是一种基于面向对象技术的标准建模语言,其不仅可以在软件开发过程中使用,也可在复杂系统仿真中应用。参照面向对象Petri网的建模过程,提出了一种基于UML的仿真建模方法,通过UML状态视图描述各个仿真实体的状态变化,使用顺序图描述消息交互的时间性,并通过协作图连接各个仿真实体。文中将该方法应用于飞机的维修保障仿真过程,并根据所建立的仿真模型,对仿真系统进行了实现,得到了较好的效果。     

基于时间Petri网的电力系统故障恢复算法的研究

随着电网建设的逐步升级和加强,电网结构趋于成熟稳定,但也愈加庞大复杂。电网不可避免受到故障影响而导致停电,严重危害社会经济的持续发展,因此,电力系统故障恢复问题的研究正成为完善电网建设的一项重要任务。时间Petri网是一种用于描述系统动态行为和分析系统动态性质的数学模型,对描述和分析并发现象有其独到的优越之处,非常适合于异步并发系统的建模。用时间Petri网来解决故障恢复是一种新型算法。根据时间Petri网的特点,利用时间Petri网为配电网典型结构建立模型,应用迪杰斯特拉计算机算法,辅助计算电力系统配电网故障恢复的最优路径。举例验证本算法的有效性。