公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.     

一种基于模糊Petri网的并行推理方法

把模糊Petri网模型转化为矩阵形式,在此基础上提出了一种并行推理算法。算法将推理过程转化为矩阵运算,不但考虑了前提条件的权值、变迁阈值和规则可信度等因素,还进一步将变迁触发条件严格化,有效的避免了一些变迁不必要的重复触发,降低了算法复杂度。通过实例说明,此推理算法易于实现并可以提高推理效率,尤其适合较大较复杂的模糊Petri网模型。     

非确定并发系统设计的Petri网形式化方法

本文首先建立逻辑偏序结构概念，用于刻划非确定系统的功能结构；建立环境结构，用于描述实现系统功能所需的资源及其服务关系；以约束集表示系统应遵守的行为规范，三者合一形成了系统的需求规格说明。基于需求规格说明，分别给出逻辑偏序结构到功能网，功能网及其环境结构到系统结构网的转换算法。按照约束集的规范，结合以往的结果，对系统结构配置适当的初态，施加必要的协调控制装置，最终得到一个功能符合，性能良好，资源分配合理的系统Ｐｅｔｒｉ同模型。     

基于移动服务的隐私政策Petri网协商算法

移动商务在给用户带来丰富便捷的服务时,引发了严重的隐私担忧。结合移动商务环境的特点,在Petri网的基础上设计了基于移动服务的隐私政策Petri网协商算法,该算法兼顾了用户的隐私偏好与服务商的隐私政策,双方以移动服务为粒度进行隐私政策协商,并支持协商冲突检测与缓解,实现了移动用户的服务需求与隐私保护之间的权衡。仿真实验发现,相比传统的隐私政策协商方法,该算法有更高的协商效率和协商成功率。     

基于Petri网和GASA的JSP动态分类调度研究

针对车间作业的加工受到机床、操作工人等双资源制约条件下出现多种扰动的JSP调度问题,提出了基于受控Petri网和GASA对不同扰动进行分类处理的新方法。首先通过构建带有控制器的Petri网模型使系统的运行满足期望的目标,然后基于该模型把遗传算法和模拟退火算法相结合,以最小化最大完工时间为目标,基于机床故障修复时间、工人离岗时间及取消订单包含任务的多少进行分类调度,然后根据扰动恢复后剩余任务的多少决定是否进行再次调度,避免大范围调整造成的生产不稳定状态,最大限度的维持车间的生产能力。最后通过实例验证了算法的有效性和可行性。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

基于Petri网的指挥控制流程仿真方法

作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。     

基于着色Petri网的GEO-RBAC策略验证

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.     

复杂FMS系统的启发式调度策略

用Petri网对柔性制造系统进行建模的基础上,提出了一种针对较大规模柔性制造系统的启发式调度优化算法.采用了改进的子节点处理方法、与派遣规则相结合的启发函数以及移动窗口等策略,弥补了算法在节点质量评价和节点搜索方面的不足,有效减小算法在可述图中寻路时对节点的搜索范围,加快了算法的收敛速度.仿真结果表明:相对于其他调度算法,该文算法可以快速、高效的编制系统调度计划.     

基于Petri网的航天装备体系作战效能评估方法

针对航天装备体系的特点，将航天装备体系分为逻辑体系结构和物理体系结构，利用着色随机Petri网建立功能模型，描述逻辑体系结构，利用排队论及航天装备性能模型建立物理模型，描述物理体系结构，二者通过信息交互构成完整的体系。以打击海上移动目标为例，将功能模型、物理模型和作战效能模型结合起来建立了航天装备体系作战效能模型。仿真结果表明所建立的模型能够合理反映航天装备体系对作战结果的影响，可以用于分析航天装备体系结构与配置。     

基于Petri网的工艺路线优化建模技术

主要探讨计算机集成系统环境下产品开发中工艺路线的优化问题,在Petri工艺网的基础上引入机床、夹具、刀具等工装的子网对工艺规程进行建模,并对仿真模型的初始、终结状态给出明确定义,使得Petri网仿真模型评估工艺路线更为准确。通过分析网络的可及图,按加工成本对工艺路线进行了优化安排。由于对加工过程建立了数学模型,故其解算可以很方便,可靠。这种分层建模的方法使得工艺决策的每一个阶段都能采用更适合的模型和分析方法,降低了系统实现的难度。     

基于Petri网的行为建模在舰艇CGF中的应用研究

给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。     

基于Petri网的航运业务流程的仿真优化

论文利用Petri网理论及相关的仿真软件,对航运业务流程进行了模拟优化分析。通过研究,得出的主要结论是：航运业务流程的优化对提高航运企业的管理效率和水平是十分重要的。在这方面,Petri网理论和相应的仿真软件（ExSpect）提供了一个非常有效的优化分析工具;航运业务流程作为物质流和信息流的紧密结合,其优化管理的关键在于引入信息技术,以提高业务信息传递和处理的效率。     

基于时延Petri网的项目管理方法

随着项目的复杂度和成本的不断增多,对项目管理有效性的要求也越来越高。传统的基于PERT/CPM方法在离线的项目管理中取得了较大的成功,但是由于它们忽略了实际项目中资源约束和外部突发事件的影响,不可能实时动态地监控项目生产的进行。本文提出一种基于时延Petri网的项目管理方法,克服了上述的不足。方法中参考Petri网模型考虑到生产资源约束的影响,监控Petri网模型实时监视突发事件的发生,从而项目管理者可以及时地了解项目的进展,并根据实际生产情况对现有的项目计划调度任务的进行动态调整。     

基于UML的C3I体系结构着色Petri网建模方法

着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要意义。面向对象分析是构筑C3I系统体系结构的基本方法。论述了C3I系统体系结构的基于UML的面向对象的开发方法。给出了一种根据C3I系统逻辑体系结构的UML模型建立着色Petri网模型的方法。应用实例表明了该方法的可行性和实用性。     

面向对象Petri网离散制造系统生产调度建模研究

将面向对象技术与Petri网结合作为建模工具,针对离散制造业的研究现状及其生产调度特点,进行离散制造系统生产调度建模;选用满足交货期的成本最低原则作为调度目标,运用最优化方法进行目标优化.通过对FMS的建模及目标优化,证明利用该方法建模能准确反映生产调度的加工路径及其资源约束,将复杂系统高度抽象,模型易于扩展.     

基于混合Petri网建模的纺织生产调度研究

针对纺织生产调度兼有连续性和离散性的特点,选择混合Petri网(HPN)作为建模工具,为其生产过程建立模型,将纺织生产的各加工工序使用统一的形式进行描述。在此模型基础上,根据满足交货期前提下的成本最低原则,综合考虑制造成本、拖期罚款和库存保管等因素,使用数学规划方法对纺织生产调度问题进行优化求解。最后使用纺织生产中的实际数据进行仿真,求得最优调度,验证了该方法的有效性。     

基于模糊神经Petri网的C~3I信息融合模型

本文将模糊技术、多层感知器理论与Ｐｅｔｒｉ网相结合,提出了一种关于Ｃ３Ｉ信息融合的模糊神经Ｐｅｔｒｉ网的模型。将模糊逻辑规则应用到多传感器融合系统中得到模糊Ｐｅｔｒｉ网,并在此基础上将人工神经网络引入到Ｐｅｔｒｉ网中,从而提高了系统的学习能力以及对外界环境的自适应能力。