Petri网是对离散并行系统的数学表示。Petri网是20世纪60年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
电子发烧友
1.9w次浏览
本文分别用VHDL语言研究了几种Petri网系统的硬件实现，包括同步PN、时延PN，尤其是高级网系统有色PN。在当前的研究中有色Petri
2021-04-30 06:13
Petri网模型对复合时序事件具有较好的描述和检测能力,提出基于Petri网描述和推理的监控视频事件信息的自动识别方法.将运动目标及其特征间的空间关系用
2010-09-23 11:51
Petri网是异步并发现象建模的重要工具，Petri网的硬件实现将为并行控制器的设计提供一种有效的途径.本文在通用的EDA软件Max+PlusII中，研究了基本
2019-01-01 16:28
众所周知． Petri网 [ZHS1是一种数学模型．便于描述和模拟异步并发系统，具有友好的图形表示。Petri网最早是在C．A．
2011-06-16 17:42
该文介绍了佩特利网（Petri网）和Stateflow的基本概念，给出Petri
2009-09-03 12:00
在对模块化制造系统( MPS )进行设计时，运用 Petri网 建立其状态转换模型，从逻辑控制的角度出发，给出了用Petri网控制器工具设计PLC程序的一般方法。并从实
2011-08-09 14:51
提出了一种建立在petri 网的基本结构上的形式化正向推理算法，通过建立petri
2009-09-14 08:09
对象Petri网（OPN）Petri网相结合的面向对象的理论提供了一种有效的方法使用在并购离散事件动态系统S领域的Petri
2009-08-31 09:09
在SPIN路由协议的基础上,根据环境监测领域的应用特点,提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证,确定
2010-02-26 13:40
通过定义 Petri网 变迁的指标函数，给出一种基于变迁指标的Petri网分解方法.通过分解得到子网系统均为结构简单的h网
2011-06-29 16:33
