基于Petri网的单向PWM整流电路建模

PWM整流电路是交-直-交变流器的重要电路,是包括连续和离散事件的混杂系统,具有并发、异步等特点。Petri网是描述和分析异步并发现象的一种有效的混杂系统建模工具。本文以Petri网为工具,从一个全新角度,建立单相PWM整流电路的模型,对其电路特性进行了分析。     

基于随机Petri网的工作流仿真

工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证.     

神光III控制系统的故障建模与分析

应用混合随机Petri网对神光III控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光III控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。     

神光Ⅲ控制系统的故障建模与分析

应用混合随机Petri网对神光Ⅲ控制系统的故障进行了建模，并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统，具有动态、并发及同步等特征；神光Ⅲ控制系统就是网络化控制技术在武器装备上的一个典型应用；对于复杂系统的建模和分析，Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具，混合随机Petri网是Petri网的一个扩展，具有强大的建模功能。仿真结果表明，所建立的模型是正确的。     

基于Web的产品设计流程模型

描述了一个基于Web的设计流程管理系统，该系统以Petri网为数学模型，很好地解决了设计流程Petri网络的表示，详细分析了系统在设计子流程之间同步和异步方式通信的Petri网表示，并给出基于Petri网的三维权限管理模型．     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

异步控制电路设计方法

以异步电路的基本类型为基础,依据异步控制电路的基本描述机制将已有的异步电路设计方法划分为基于CSP的设计方法、基于Petri网的设计方法以及基于有限状态机的设计方法3类,并对这3类设计方法的优缺点进行比较;针对已有的逻辑综合实现技术与直接映射实现技术的优势与不足,提出了异步控制电路设计方法的发展趋势.     

无线通信系统的Petri网建模与分析

无线通信系统是一个分布式实时多任务数据处理系统,具有实时性、并发、异步和多任务等特点.Petri网是描述和分析异步并发现象的一种有效的模型工具.以Petri网为工具,建立了无线通信系统的仿真模型,对其功能和数据流进行模拟,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,实现了模型和程序结构的自动转换,从一个全新角度对无线通信系统进行了分析和评价.     

基于Petri网的并行控制器的VHDL实现

Petri网是离散事件系统建模的重要工具,本文使用硬件描述语言VHDL实现了基于Petri网的并行控制器。文中通过一个液位控制系统实例具体介绍了这一方法,并通过仿真波形证明了该方法的正确性。这对于离散事件系统并行控制器的设计具有十分重要的意义。     

虚拟手抓握动作的Petri网模型及其仿真实现

虚拟手的运动建模是三维人机交互研究中的一个关键问题.虚拟人在执行维修作业的过程中,不可避免地需要徒手抓握操作对象或维修工具.为此,该文提出了一种基于位置/变迁Petri网的虚拟人手抓握动作模型.该方法以关节化虚拟手的几何建模和关节约束分析为基础,描述了抓握动作的Petri网模型,通过仿真循环叠代和关节插值计算,实现关节链上各个关节的运动控制,并基于面向对象的技术设计实现了典型抓握动作.最后,基于人体建模与仿真软件Jack,设计并实现了一个虚拟手抓握动作的Petri网,仿真和实验结果表明所述方法简便易行,能够满足虚拟维修作业的要求.     

异步电路的静态数据流图模型及其性能分析

静态数据流图是异步电路的一种抽象模型,具有灵活性高、易于理解的优点.基于静态数据流图的一种形式化的执行语义,提出了一种适合于性能分析的静态数据流图的Petri网模型,并基于该模型提出了一种性能评价方法.该方法具有速度快、灵活性高的优点,特别适合大规模异步电路设计早期的性能分析.该模型比静态数据流图的传统Petri网模型在规模上小一倍,而且避免了引入非标准的read-arc.通过实验,该模型和性能评价方法的有效性得到了充分的验证.     

基于有色Petri网并发进程模型及死锁避免方法

并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。     

基于模糊神经Petri网的故障诊断模型

Petri网是对具有产生式规则的故障诊断系统的有力建模工具，但其缺乏较强的学习能力．本文以Petri网的基本定义为基础，结合模糊逻辑和Petri网模型，定义了模糊Petri网模型，在此基础上引入人工神经网络技术，给出了人工神经网络的模糊Petri网表示方法，并针对工程机械故障诊断异步、离散等特点，提出并建立了故障诊断的模糊神经Petri网模型及其改进模型．基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点，经过自学习后同时具有很强的推理能力和自适应能力．     

A technique of state space search based on unfolding

Unfoldings of Petri nets provide a method of searching the state space of concurrent systems without considering all possible interleavings of concurrent events. A procedure is given for constructing the unfolding of a Petri net, terminating the construction when it is sufficient to represent all reachable markings. This procedure is applied to hazard and deadlock detection in asynchronous circuits. Examples are given of scalable systems with exponential size state spaces, but polynomial size unfoldings, including a distributed mutual exclusion ring circuit.School of Computer Science, Carnegie Mellon University     

基于Petri网的分布式系统并发进程的死锁检测

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.     

Petri网格构建探讨

介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。     

Analysis and identification of speed-independent circuits on an event model

The object of this article is the analysis of asynchronous circuits for speed independence or delay insensitivity. The circuits are specified as a netlist of logic functions describing the components. The analysis is based on a derivation of an event specification of the circuit behavior in a form of a signal graph. Signal graphs can be viewed either as a formalization of timing diagrams, or as a signal interpreted version of marked graphs (a subclass of Petri nets). The main advantage of this method is that a state explosion is avoided. A restoration of an event specification of a circuit also helps to solve the behavior identification problem, i.e., to compare the obtained specification with the desired specification. We illustrate the method by means of some examples.