共查询到18条相似文献,搜索用时 125 毫秒
1.
Petri网的同步合成运算及其语言求解 总被引:4,自引:4,他引:0
曾庆田 《微电子学与计算机》2003,20(11):1-4,45
文章拓展了Petri网同步合成运算的概念,并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到,从而可由这些S-网来求取∑的语言,最后给出了结构复杂的Petri网的语言的求解算法。 相似文献
2.
同步合成网的进程特性研究 总被引:7,自引:0,他引:7
进程是反映Petri网动态特性的重要工具,同步合成是考察复杂Petri网性质的有效途径。本文研究Petri网同步合成过程中进程关系的特性,获得基本进程集的合成公式和进程语言的合成公式,还得到了切集,线集的有关性质,这些结果可为复杂Petri网动态特性的考察提供有力手段。 相似文献
3.
多媒体同步通信的Petri网模型 总被引:1,自引:0,他引:1
现有的多媒体同步模型无法满足多媒体同步通信的建模需要,本文提出了一个基于时间Petri网的多媒体动态同步通信模型-DSCPN。它通过增添同步服务质量(QOS)参数,同步变迁类型和通信行为描述,使通信系统能对多媒体同步通信进行动态同步控制和优化通信信道的使用,并能与新一代轻型运输协议的通信机制相配合。 相似文献
4.
5.
6.
7.
传统的随机Petri网定量分析都是针对顺序行为的,而并发描述却是Petri网引以为骄傲的内容,这就形成Petri擅长描述并发,却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Petri网定量分析法,旨在改进传统的分析方法,使Petri网真正成为并发系统建模与分析的有力工具。 相似文献
8.
同步时序电路的增广Petri网分析 总被引:1,自引:0,他引:1
本文应用抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发展次态与变迁授权条件的关系,在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。 相似文献
9.
未来高性能计算机网络上分布多媒体应用的一个重要需求是多媒体同步通信。当前的同步通信研究更多的是基于传统通信协议,所提出的模型和算法都有一定的局限性和不足。因此本文提出了一套完整的基于时间Petri网的同步通信模型及算法。 相似文献
10.
11.
文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。 相似文献
12.
13.
基于Petri网的入侵检测技术研究 总被引:1,自引:0,他引:1
Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计了一个入侵检测系统的原型并进行了实例分析. 相似文献
14.
15.
基于Petri网的入侵检测模型研究 总被引:1,自引:0,他引:1
随着计算机网络的广泛应用,非法的入侵与攻击行为不断发生,严重威胁着网络信息的安全,对入侵和攻击进行检测与防范已经成为刻不容缓的重要课题。讲述了Petri网(PN)和有色Petri网(CPN),通过将入侵分为“存在”,“顺序”,“偏序”三种类型,描述入侵检测系统(IDS)中的攻击模式用Petri网实现,并且给出了使用有色Petri网描述攻击模式。 相似文献
16.
本文提出了一个新的面向集成电路(IC)制造的调度方法,核心内容包括两方面:首先,用本文提出的扩展定时Petri 网对IC生产工艺进行描述;其次,对所得Petri 网模型的状态空间进行搜索,得到以Transition序列表示的最优或近似最优调度.该方法可以很好地描述IC制造系统中存在的多制造路径、资源共享、可变晶片组及并发等特性,通过引入测试弧增强Petri 网的建模能力,进而在调度模型上对设备维护、设备优先级以及操作优先级进行描述,而且支持多目标的评价函数,使得到的调度结果更具实用价值.文中给出试验结果表明了算法的有效性. 相似文献
17.
一种基于时间权重的 Petri Net 工作流过程建模 总被引:1,自引:1,他引:0
为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的. 相似文献
18.
Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法. 相似文献