Petri网分布式仿真中的冲突问题及解决方法

Petri网是一种强大的建模工具,由于其并发的特性,很适用于采用分布式仿真技术以提高其仿真效率。冲突是Petri网仿真中一种常见现象,串行仿真下,冲突有很多成熟的解决方法,而在分布式仿真环境下,各个仿真成员信息的不完整性为冲突的解决带来了困难。给出了一种基于高层体系结构(HLA)的Petri网分布式仿真中冲突问题的解决方法,通过引入一个特别的联邦来预测、检测和消除可能出现的冲突。实验表明这种方法能有效解决分布式冲突问题。     

MYCIN系统的模糊Petri网建模

模糊知识表示及不确定的推理方法是知识工程与专家系统中重要的常用技术.在文中利用模糊Petri网对MYCIN专家系统进行建模,详细地描述了网模型的定义以及变迁发生规则,并提出了一个结合正向推理和反向推理的混合推理算法.最后结合实例对建模思想以及推理算法进行了说明.     

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

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

面向对象Petri网建模与仿真的可视化环境

主要介绍用面向对象方法开发的Ｐｅｔｒｉ网建模和仿真可视化环境ＰＮＳＥ（Ｐｅｔｒｉ Ｎｅｔ Ｓｉｍｕｌａ－ｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔ）。通过对一个实例的建模和仿真，说明了Ｐｅｔｒｉ网建模与仿真的可视化表示方法。     

栈结构的增广Petri网模型

增广Petri网（如抑止弧Petri网）的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁序列表示入栈字符串,另一个变迁序列表示出栈字符串,可以建立堆栈结构的模型SEPN。利用SEPN模型和映射函数,给出了产生几种上下文无关语言的有限长子集的增广Petri网模型,这几种语言是不能由一般的Petri网产生的。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

广义有界上下文无关语言与Petri网语言

提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关Petri网语言给出了较完整的结构特征.     

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

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

装备战场抢修的任意随机Petri网建模及仿真

基于任意分布随机Petri网（ASPN）,建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战场抢修的决策阶层提供决策支持,对提高我军装备维修保障能力,实现经济型维修保障,具有重要的意义。     

一类扩展Petri网的建模与仿真分析

本文定义了一类禁止弧／容许弧基本Ｐｅｔｒｉ网及其变迁的引发规则，构造了它的三个标志矩阵（禁止弧、容许弧、自环），给出了它的关联矩阵和状态方程；基于此，形式化分析了该网模型，并由此构造出适于计算机仿真分析的启发式算法；最后给出了仿真算例     

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

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

基于代数的模糊Petri网逆向推理算法

分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关的简单的系统,减小空间复杂度。最后举例说明了它的应用。     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.     

Simulation Modeling by Fuzzy Nets

Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis,evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation re-sult checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this     

基于Petri网的产品设计过程工作流结构化建模与仿真

产品设计过程的工作流管理是产品设计的核心管理过程,直接影响着项目的开发周期和整体效益.为实现对产品设计过程工作流动态性和不确定性的管理与控制,在研究工作流结构化建模相关问题的基础上,提出基于Petri网的产品设计过程工作流结构化建模方法,定义了基于Petri网结构化建模的七种基本结构模块,确定了顺序、重叠、迭代、耦合、分支和连接模式为工作流结构化建模核心模式.以某办公楼的设备详细设计过程为例,进行工作流结构化建模和仿真分析,验证基于Petri网的产品设计过程工作流结构化建模方法的正确性和有效性.     

防空导弹C3I系统谓词/变迁赋色Petri网建模与仿真

介绍了Perti网概念及其标识转移方程的完整动态描述。对复杂的防空导弹C3 I空防对抗过程进行了具体分析 ,描述了某型防空导弹的具体作战过程 ,在有机结合谓词公司Petri网和赋色Petri网基础上 ,建立了基于谓词 /变迁的赋色Petri网模型 ,给出了具体的前置谓词公式。最后对仿真流程进行了描述 ,对战术级指挥控制过程的评估研究有极其重要的意义。     

模糊Petri网在飞机进近排序中的应用

介绍了发达国家正在研究的最后进近间隔工具(FAST)的排序思想,利用该排序思想,讨论了模糊控制和模糊Petri网排序理论在飞机进近中的具体应用,并进行了仿真。仿真结果表明,该方法能达到合理可行的排序结果,明显减少航班队列的延误。基于模糊Petri网的排序方法为解决空中交通管制系统的科学优化排序问题提供了较好的研究思路。     

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

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

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

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