基于Petri网的联锁系统进路处理过程建模

本文采用有Petri网对铁路信号计算机联锁系统的进路控制过程进行建模,确保系统逻辑定义的一致性、完整性和精确性,并对所建立的模型进行仿真,以验证所建模型的性质。结果表明该方法在系统设计阶段可以提高系统的安全性和可靠性。     

基于着色Petri网的双向搜索关键路径算法

提出一种基于着色Petri网的双向搜索关键路径算法,首先将AOE网转换成带时间状态的着色Petri网,然后运行带时间状态的着色Petri网,分别从源点和汇点双向搜索关键路径,最后给出了对典型实例的仿真实验,结果验证了双向搜索关键路径算法的执行效率优于传统单向搜索关键路径算法．     

一种变结构Petri网模型及其应用

引入一种变结构有色Petri网模型及其相应的结构变化机制，阐述两种结构变化方式及其相应算法．一种是修正结构方法CBM（change—by—modification），一种是添加子网方法CBC（change—by—composition）．结合铁路车站信号联锁中的进路自动解锁建模，讨论了该模型的具体应用。     

基于Petri网与动态加权启发策略的FMS调度优化

为解决基于Petri网的柔性制造系统(FMS)调度方法搜索效率不高的问题,提出了一种调度优化算法。采用了改进的最优节点选择方法来提高算法节点搜索能力;在算法搜索进程中使用了动态加权启发函数,以保证最终找到某种最佳或较满意的调度结果;使用了启发式A*算法与深度优先算法相结合的方法以加快算法的收敛速度。这些策略减小了算法在Petri网可达图中节点的搜索范围,加快了算法的收敛速度,并且保证了调度结果质量的可控性。最后仿真结果证明了方法的有效性。     

铁路信号逻辑的计算机辅助分析与设计

本文以铁路中一个典型的会让站为例,介绍了用 Petri 网来描述铁路站场内部及其相互之间信号联锁及制约等逻辑关系的一种方法,并利用可达树和可达图对所构造的 Petri 网模型进行了分析,最后讨论了结果.利用 Petri 网对铁路站场信号逻辑的描述,不仅可以作为建造新的高效利用站场的一种辅助设计方法,而且可以对现有的站场进行分析、验证.本文最后给出了一种计算机实现语言和实现方法,从而可以方便地利用计算机进行辅助设计,分析和验证.     

基于Vc＋＋计算机联锁系统中列车模拟运行功能的软件设计与实现

本文以铁道部计算机联锁技术条件为依据,以软件工程和数据结构为方法,阐述了计算机联锁系统的软件结构和联锁软件系统中数据结构的建立方法．利用Windows下的vc＋＋编程完成需求模块的程序设计,通过调试程序,最终实现了列车模拟运行文中详细阐述了进路搜索过程以及需要完成的任务,     

基于时间Petri网和启发式搜索的柔性制造系统调度算法

利用库所延迟Petri网对柔性制造系统进行建模,在Petri网激发变迁生成的可达树中进行启发式搜索,求解最小完成时间调度策略,并改进了现有计算机器剩余时间的启发式函数,对剩余加工操作进行准确分类,以保证算法的最优性.为了提高算法的求解效率,改进后的启发式函数考虑了未产成操作的剩余时间,以使预测值更加准确并减少了计算量.同时,利用实验验证了所提出方法的正确性和有效性.     

面向新闻组的信息搜索方法

介绍了Usenet、新闻组及新闻搜索引擎,分析了NNTP协议内容,用Petri网描述了新闻搜索的关键处理流程,给出了用VB6.0实现新闻搜索的方法。实现的新闻搜索功能可以方便地集成到各种专门用途的应用程序中。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

基于角色的访问控制Petri网及协商树模型

针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的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网进行软件建模以及面向对象系统设计提供了指导。     

基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析．首先引入一套自成体系的“矢量文法”,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系．最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析。     

矿井机车运输信号系统的Event-B建模与验证研究

人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存在的问题,利用形式化Event-B方法对机车运输信号平面布置图、进路联锁表和机车车辆运输信号设计规范进行建模,模型生成的证明义务通过与否验证了进路联锁表建立过程是否符合平面布置图和设计规范的要求,利用该种思路解决了人工检查联锁表存在的效率低和不确定性等问题。     

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型