Petri网模型对复合时序事件具有较好的描述和检测能力,提出基于Petri网描述和推理的监控视频事件信息的自动识别方法.将运动目标及其特征间的空间关系用Petri网的库表示,时间关系
2010-09-23 11:51
众所周知． 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
针对即时检验系统的设计与开发建模问题，提出一种基于时间Petri网的并发系统建模分析方法，为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中，提出了适用于即时
2017-12-28 15:02
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri 网、有界的标识T-图具有汇合性质，讨论共享合成与同步合成操作对Petri 网汇合性质的保持性，得出由上述简单的Petri 网子
2009-03-21 15:42
Petri网在计费系统中的应用研究_侯煜
2017-03-19 11:27
线性时态逻辑Petri 网结合了Petri 网和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系统的活性和安全性。其中自动机的体积是模型检验的一个关键性
2009-08-31 16:14
