模糊Petri网的反馈控制研究

本文首先将模拟技术应用于Ｐｅｔｒｉ网中，得到模糊Ｐｅｔｒｉ网模型，然后基于Ｐｅｔｒｉ网中的库所湾量的概念，在普通Ｐｅｔｒｉ网的反馈控制基础上提出了一种模型Ｐｅｔｒｉ网的反馈控制方法。该方法使得对复杂系统的模糊Ｐｅｔｒｉ多控制器的系统设计成为可能。     

时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法。     

集成式IP电话网关的实现及其Petri网模型建立

详细介绍了一种集成式ＩＰ电话网关的硬件及软件体系结构,分析了ＩＰ电话网关的数据处理过程,并采用Ｐｅｔｒｉ网和多机系统理论,建立了集成式ＩＰ电话网关的广义Ｐｅｔｒｉ网模型,该模型的建立能对ＩＰ电话网关及其它双机系统的设计规范和性能分析提供理论指导。     

功能确定的离散并发系统的Petri网规范设计方法

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法，通过一制造系统的建模，说明了该方法的规范性和有效性。     

Petri网的绘制与仿真系统

Ｐｅｔｒｉ网是一种系统描述和分析的工具，目前已有很广泛的应用。本文介绍了Ｐｅｔｒｉ网的绘制与仿真系统的功能及其原理。系统提供网的描述语法与该语法的编译器，并可在屏幕上绘制Ｐｅｔｒｉ网、采用两种不同的方式对网进行仿真以帮助用户分析网的性能。     

模糊Petri我在带权不精确知识表示和推理中的应用研究

Ｐｅｔｒｉ网是一种适合于描述异步并发事件的计算机系统模型,可以有效地对并行和并发系统进行形式化验证和行为分析,以模糊Ｐｅｔｒｉ网的基本定义为基础,讨论了带权模糊的模糊产生式系统表示法,建立了这种表示法与模糊Ｐｅｔｒｉ网之间的映射关系和转换算法;在对模糊Ｐｅｔｒｉ网进一步扩充的基础上,解决了与知识的模糊Ｐｅｔｒｉ网表示相关的几个问题;最后给出了模糊Ｐｅｔｒｉ网中不确定性的计算方法和相应的不精确推理算     

基于Petri网的一种时序分析方法

Ｐｅｔｒｉ网由于有强大的建模能力和成熟的理论支持,被广泛应用于各种系统的建模．本文通过把Ｐｅｔｒｉ网转换成转移系统,利用转移系统和Ｋｒｉｐｋｅ结构给出时序逻辑语义的解释,从而建立了一种在Ｐｅｔｒｉ网上进行时序分析的方法．这种方法是根据不动点理论,用模型检查验证公式正确性．通过对Ａｄａ程序会合性质进行模型检查,验证了这种方法的有效性．     

一类区段赋时弧有色Petri网的可达性和可阻断性分析

为了描述和分析实际复杂产时系统,提出了一种新的时间限制Ｐｅｒｔｉ网模型,区段赋时弧有色Ｒｅｔｒｉ网模型。这种Ｐｅｔｒｉ网在有色Ｐｅｔｒｉ网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数,基于一种充分考虑了系统时间不确定性的激发规划,给我段赋时弧有色Ｐｅｔｒｉ网的发生元序列的时间界估计,并以此为依据,提出了基于状态类的可达性分析方法和可阻断性分析方法。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Ｐｅｔｒｉ网解决资源共享和资源冲突的能力,定义一种新的混杂Ｐｅｔｒｉ网模型———资源配置混杂Ｐｅｔｒｉ网,提出了相应的使能和激发规则．将对连续变迁和离散变迁的控制作用引入混杂Ｐｅｔｒｉ网,同时,增加了资源配置变迁和资源释放变迁,用于有效分配可重复利用的资源．以典型的混杂生产过程为例,研究混杂系统生产过程建模．研究结果表明,所定义的模型描述能力强,模型语义正确合理,能够有效描述和分析混杂系统生产过程．     

飞机协同设计中的技术状态控制过程模型

为在飞机协同设计中有效地应用工作流技术对设计更改进行控制,提出一种基于Petri网的技术状态控制过程建模方法.通过建立技术状态协调关联模型并映射生成基于Petri网描述的过程模型,使得设计更改信息能够按照结点间的结构关系和协调关系及时地传递给相关人员进行验证,避免了长周期、大跨度的设计反馈,应用Petri网解决了工作流技术进行技术状态控制存在的死锁和不可达等问题.采用J2EE和jBPM技术建立了飞机总体布置与协调管理软件原型,并以数字样机环境下某飞机部件技术状态更改为例,验证了该方法的有效性和适用性.     

Hierarchical time-extended Petri nets (H-EPNs) based erroridentification and recovery for multilevel systems

In this paper, hierarchical time-extended Petri nets (H-EPNs), an extended Petri net based modeling and analysis tool, are used to derive the coordination level model of hierarchically decomposable systems, viewed from a three-level hierarchical structure of organization, coordination and execution of tasks. A two-layer (vertical) coordination level framework, consisting of the dispatcher/analyzer and the H-EPN controller is presented. A detailed two sub-level (horizontal) H-EPN controller model is derived to model system operations (including system soft failures). Error classification based on the interaction between the various system coordinators is derived from the H-EPN model. The H-EPN approach preserves multi-resolutional system details as well as effective communication flows between the various subsystems. A simple example illustrates the proposed approach. The important H-EPN properties of boundedness, safeness and reversibility are verified.     

基于Petri网的企业用户模型

Petri网是一种有效的模型描述语言，能进行系统性能分析，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。本文介绍一种面向用户的工作流模型，讨论将工作模型转化为Petri网模型，建立企业的资源及经营管理过程建立模型和资源模型，并利用Petri网进行系统模型消解，以便对系统性能进行分析。     

用于WCET静态分析的MIPS处理器建模方法研究

为获得安全而紧致的WCET估计，需要考虑执行程序的目标处理器的体系结构特征．Cache、流水线等用于提高性能的技术已经广泛地应用于现代处理器中，如果在静态分析过程中不考虑它们带来的影响，必然会导致WCET过估计．以Petri网作为模型工具，以WCET分析为应用目标构造MIPS处理器的体系结构模型，该方法讨论了各种RISC处理器中常见的体系结构特征的抽象以及它们在Petri网模型中的表示方法．通过实验验证，指令序列在Petri网模型上的模拟执行时间与指令序列在DLXView模拟器上的测试结果具有一致性，表明构建处理器的体系结构Petri网模型是一种有效的指令序列执行时间的静态分析方法．     

一种多机器人协作控制方法

提出了一种基于Petri网模型的多个移动机器人协作控制方法.该方法主要包括两个模块:高层控制模块(HLCM)和低层控制模块(LLCM).HLCM负责任务分配和再规划,LLCM实现单个机器人的控制逻辑.利用可达树对Petri网模型中的死锁进行检测,并给出了消除死锁的方法.仿真实验证明了该方法的有效性.􀁱     

基于Petri网和Agent的复杂适应系统建模

针对复杂适应系统内部关系繁杂、难于描述及计算机仿真建模困难等问题,提出一种基于时间Petri网和多Agent相结合的建模方法.以Agent为基本建模元素,用Petri网描述Agent内部的行为规则,实现复杂适应系统的Petri网与多Agent相结合的有机建模,可避免Petri网建模引起的模型空间爆炸和Agent内部推理...     

Petri网模型的FTA安全性分析

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态，是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具，但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法，有效地结合故障树分析法和Petri网可达图分析的各自优点，并实际应用于联锁逻辑模型的安全性分析。     

AUV控制系统规划层使命与任务协调方法研究

以地形勘查使命为背景，对AUV(自治式水下机器人)规划层使命与任务协调方法进行了研究．介绍了AUV控制系统的逻辑结构，采用分层Petri网对AUV规划层离散事件系统进行了建模，通过对向目标区域航行任务库所进行扩展阐述了任务规划层的分层Petri网模型．提出了一种基于改进RW离散事件监控理论的协调方法，分别阐述了AUV使命与任务规划层离散事件系统的监控与协调．最后，通过湖试试验验证了AUV规划层使命与任务协调方法的正确性．