基于CPLD的基本Petri网系统的硬件实现

Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max Plus ,并给出了软件仿真的结果     

基于FPGA的有色Petri网仿真系统设计

为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中"包传输"的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。     

同步Petri网的仿真及硬件实现

基于现有的EDA技术,针对同步Petri网和硬件描述语言的关联性,提出了用VHDL语言对同步Petri网进行描述并实现.首先使用同步Petri网对控制器进行建模,然后使用VHDL语言对同步Petri网控制模型进行描述,最终在EDA软件Max+ PlusII中进行编译、仿真和适配,并下栽到FPGA中,通过实验开发系统GW...     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

一种基于Petri网的飞机配电系统可靠性分析方法

将一种基于Petri网的故障树分析法运用于飞机配电系统的可靠性分析,以库所和变迁为节点,有向弧的指示方向表达系统故障的传播关系.同时提出一种应用Petri网的关联矩阵求最小割集的新算法,此算法按照指定关联矩阵中所表达的输入、输出关系直接从关联矩阵得出割集,易于计算机程序的实现,而且对于求有重复事件Petri网模型的割集更为简单、直观,避免了传统飞机配电系统可靠性分析方法中分析复杂,减少了计算量,弥补了传统故障树分析法中的不足.     

基于染色Petri网的工作流引擎实现

工作流引擎是工作流管理系统的核心,主要负责流程定义解析、案例创建、流程过程调度、任务的执行等功能。文章用Petri网进行建模,并利用层次染色Petri网优化工作流模型,安排流程,描述同步事件。在本模型中,使用Token的颜色来控制流程实例对象的调度与运行。整个工作流引擎系统的目的在于通过利用触发对变迁的控制,实现流程之间的简单协同;同时也利用不同流程之间库所的约束规则,实现流程的协同功能。     

基于着色赋时面向对象Petri网的AUV系统建模研究

研究并实现一种着色赋时面向对象Petri网(CTOPN)建模方法,它将面向对象技术与着色赋时Petri网相结合,从而综合了两种方法的优势,降低了Petri网模型的复杂性,增加了时间描述,便于系统定量分析.首先给出CTOPN的形式定义,然后建立AUV系统的CTOPN模型,最后给出模型的死锁检测算法,从而验证模型无死锁,为系统仿真创造了条件.     

基于层次着色Petri网的多机协同多目标攻击决策建模

采用层次着色Petri网的方法,在CPN-Tools仿真环境中建立了多机协同多目标攻击决策系统的模型。该方法通过引入颜色和置换变迁,降低了复杂系统Petri网模型复杂度,使模型直观、简单。利用ML元语言在模型中嵌入威胁估计和目标分配的算法函数,使得模型具有根据态势信息进行目标分配决策的能力。分析了模型的动态性质,并给出算例仿真。仿真结果表明了所研究的基于层次着色Petri网的多机协同多目标攻击决策模型的有效性。     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

基于Petri网的电网故障诊断方法研究

提出基于Petri网理论的地区电网故障分层诊断方法。根据变迁的发生及库所中托肯的转移得到稳态Petri网模型,最终确定故障元件。该方法采用图形化和解析式对电网故障诊断过程进行描述,实现具有信息预处理及启动检测、故障的检测、网络结构的更新、故障诊断、设备动作行为评价、人机交互等功能。并在局部电网中进行了诊断与分析验证。     

Component and agent-based FMS modeling and controller synthesis

In order to reduce manufacturing control software design cycle and costs, it is imperative to reuse off-the-shelf software components, ensure system properties at design time, and automate software design process. To this end, a component and an agent-based plant modeling of three structures and systematic controller synthesis approaches are proposed under a hierarchical flexible manufacturing system (FMS) architecture. That is, the static structure is modeled using class diagrams of Unified Modeling Language (UML); the dynamic structure is modeled using Petri net (PN); the functional logic is modeled using rule sets. A plant PN controller can be derived systematically with the approach proposed in this article while the desirable system behaviors (e.g., liveness and cyclicness) will be obtained.     

基于模型构件和Petri网的企业整体建模方法

模型复用是提高建模质量和效率的主要手段，而模型构件是复用的核心和基础。在对构成企业这一社会技术系统的各种要素进行分析的基础上，首先将组成系统的要素分为功能构件、资源构件和人力构件等三类模型构件。然后以Petri网作为建模工具，给出一种以模型构件作为变迁和库所的企业整体建模方法。由此方法建立的企业模型具有良好的整体性和可复用性，能够全面反映构成企业的技术实体、资源和人等要素的配置和相互关系。最后给出一个企业建模实例。     

基于模糊神经Petri网的武器装备效能评估模型

将模糊Petri与神经网络理论相结合,提出了一种关于武器装备效能评估的模糊神经Petri网模型.将模糊逻辑规则应用到专家评判中得到模糊Petri网,建立基于模糊Petri网的武器装备效能评估模型,并在此基础上将人工神经网络引入到模糊Petri中,在模糊Petri模型上,用迭代最速下降法对模型的参数进行学习和训练,经过学习和训练的模型具有很强的学习能力以及对外界环境的自适应能力.以某型雷达对抗装备为例进行仿真验证,仿真结果表明该模型是可行和有效的.     

基于组合逻辑电路实现方法的探究

为缩短理论与实践的距离,提高灵活应用数字元器件的能力,提出了组合逻辑电路设计的第五步.组合逻辑电路设计通常有四步,设计完成画出符合功能要求的逻辑图,一般是把其转换成TrL与非门形式的逻辑图.第五步研究用多少个、何种逻辑门、译码器、数据选择器,怎样实现组合逻辑电路.实践证明,只要把逻辑电路与选择实现功能器件相互对应输入输...     

模糊控制器专用集成电路的设计与实现

提出了一种用数字逻辑电路设计模糊控制器的方法。该模糊控制器电路不用ＣＰＵ，全部算法由数字逻辑电路实现，具有运算速度快的特点，适合于需要高速控制的场合。该模糊控制器电路具有被激活的规则自动生成功能，不需要大规模的ＲＡＭ或ＲＯＭ存储模糊规则，电路规模小，易于实现，特别适合于输出控制量为离散值的应用场合。已在一片ＦＰＧＡＸｉｌｉｎｘ４０１０ＰＧ１９１－６上实现了该模糊控制器电路，并成功地应用于温控系统。     

基于Petri 网的ERP实施应用研究

对企业在实施ERP中的业务流程重组中物流配送的优化过程,提出了一种基于Petri网的物流网络优化理论模型。分析了虚拟物流配送的结构形态,确定了与其对应的库所、变迁及其属性,建立了物流网络的Petri网模型图和数学规划模型,结合一个钢铁行业的实际物流网络进行了应用验证,结果令人满意。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

基于直觉模糊Petri网的知识表示和推理

针对模糊Petri网存在隶属度单一的问题,将直觉模糊集理论与Petri网理论相结合,构建直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)模型,用于知识的表示和推理.首先构建了IFPN模型,并将其应用于知识的表示,通过在模型中引入抑止转移弧,解决了否命题的表示问题.其次提出了基于矩阵运算的IFPN推理算法,通过修改变迁触发后token值的传递规则,解决了推理过程中的事实的保留问题;通过修改变迁的触发规则,抑制了变迁的重复触发.最后对推理算法进行了分析,并举例验证了提出的IFPN模型及其推理算法的可行性,结果表明IFPN是对FPN的有效扩充和发展,其对推理结果的描述更加细腻、全面.     

基于ARM的嵌入式站间自动闭塞控制器硬件设计

针对铁路信号的高可靠性要求,设计了嵌入式站问自动闭塞系统的体系结构、嵌入式闭塞控制器和控制锁.详细设计了具有冗余特性的控制器硬件、比较电路和安全锁.同时,对本控制器构成的自动站间闭塞系统进行Petri网建模及分析.     

A reliability analysis technique for object-oriented model using a reliability petri net

We propose a reliability analysis technique for the design specifications which are made by CRC methodology. We use a reliability Petri net as an analysis technique for CRC specification. The procedure of analyzing the system reliability is as follows: first, the collaboration graphs and message flow diagrams of CRC specification are transformed into an equivalent reliability Petri net which consists of places, transitions, input functions, output functions, failure rate of the input and output functions, and tokens. Secondly, we construct a reachability tree from a reliability Petri net, and establish the paths of all transitions for the reachability tree. These paths can be test cases. Finally, we calculate the values of reliability effect for all transitions in a reliability Petri net, select the transitions that have most effect on the system reliability, and search the messages and classes that are places of input and output fucntion in these transitions. Therefore, we can design these messages and classes very well for increasing the system reliability.