电子发烧友
1.6w次浏览
本文分别用VHDL语言研究了几种Petri网系统的硬件实现,包括同步PN、时延PN,尤其是高级网系统有色PN。在当前的研究中有色Petri网的硬件实现是一个难点。
2021-04-30 06:13
1 引言Petri网是一种系统的、数学的和图形的描述和分析工具[1],随着超大规模集成电路FPGA和CPLD的发展,Petri网的硬件实现成为可能,而基于Petri网的逻辑控制器的逻辑电路
2009-01-09 16:03
Petri网模型对复合时序事件具有较好的描述和检测能力,提出基于Petri网描述和推理的监控视频事件信息的自动识别方法.将运动目标及其特征间的空间关系用Petri网的库表示,时间关系
2010-09-23 11:51
Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供一种有效的途径.本文在通用的EDA软件Max+PlusII中,研究了基本Petri网和时延Petrii网的硬件
2019-01-01 16:28
众所周知. Petri网 [ZHS1是一种数学模型.便于描述和模拟异步并发系统,具有友好的图形表示。Petri网最早是在C.A.Petri的博士论文Kommunikafion mit Automaten中被提出的.而
2011-06-16 17:42
该文介绍了佩特利网(Petri网)和Stateflow的基本概念,给出Petri网在Matlab环境下的仿真方法,并以单水箱系统的混合
2009-09-03 12:00
对象Petri网(OPN)Petri网相结合的面向对象的理论提供了一种有效的方法使用在并购离散事件动态系统S领域的Petri网。的概念和对象的机制带来的,而Petri网
2009-08-31 09:09
在对模块化制造系统( MPS )进行设计时,运用 Petri网 建立其状态转换模型,从逻辑控制的角度出发,给出了用Petri网控制器工具设计PLC程序的一般方法。并从实例出发介绍了基于Petri网控
2011-08-09 14:51
提出了一种建立在petri 网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petr
2009-09-14 08:09
在SPIN路由协议的基础上,根据环境监测领域的应用特点,提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证,确定
2010-02-26 13:40