Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供一种有效的途径.本文在通用的EDA软件Max+PlusII中,研究了基本
2019-01-01 16:28
1 引言Petri网是一种系统的、数学的和图形的描述和分析工具[1],随着超大规模集成电路FPGA和CPLD的发展,Petri网的硬件实现成为可能,而基
2009-01-09 16:03
在此利用petri网的可达性和状态方程方法,分析故障树信息,解决故障检测和故障传播问题。与基于故障树的诊断方法相比,本文提出的方法具有结构表达图形化、 推理搜索的快速化以
2011-10-10 10:14
VHDL语言由于其其强大的行为描述能力及与硬件行为无关的特性,被广泛的用于数字系统设计,实现了硬件电路设计的软件化,成为实现Petri网逻辑控制器的有力的工具。用VHDL语言进行数字电路设计的很大
2020-09-22 20:46
Petri网是离散事件系统建模的重要工具,本文使用硬件描述语言VHDL实现了基于Petri网的并行控制器。文中通过一个液位控制系统实例具体介绍了这一方法,并通过仿真波形
2019-04-22 08:10
Petri网是离散事件系统建模的重要工具,本文使用硬件描述语言VHDL实现了基于Petri网的并行控制器。文中通过一个液位控制系统实例具体介绍了这一方法,并通过仿真波形
2023-08-03 15:33
随着科技的发展,大多数的电子系统和产品含有特定的硬件器件和功能模块,显然这些系统是多种类、嵌入式的。嵌入式的软/硬件设计是一项复杂工作,为了满足系统的可靠性、运行效果、内存受限等要求,嵌入式系统除了需要实现功能需求外,非功能性的约束(Non-functional constraints)也是非常重要的。非功能性约束包括实时性、程序性能、稳定性、可靠性、安全性、内存限制、存储空间限制等[1-2]。对于非功能性约束的考虑方法可以分为两大类:面向过
2017-12-01 16:16
现代飞机上各种用电设备日益增多,用电量不断增加,对机载电源的容量、供电质量和可靠性都提出严格的要求。随着先进技术在飞机上的不断应用,对飞机供电系统可靠性
2010-12-17 09:51
自控网系统(cyber net system)又称自修正系统(self-modifying system),简称自控系统。它是Petri网中的一类,与P/T系统区别仅仅在于有向弧的权受库所控制,它
2018-10-17 08:36
为基础的梯形图。目前普遍使用的梯形图程序的设计方法有组合逻辑函数法、功能转移图法、petri网分析法等[1-3]。
2019-03-18 08:42