共查询到20条相似文献,搜索用时 109 毫秒
1.
《计算机应用与软件》2013,(6)
针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换。最后通过数字证书系统的一个实例说明该方法的可行性。 相似文献
2.
3.
4.
有限状态机在RTC设计中的分析与应用 总被引:1,自引:0,他引:1
有限状态机FSM思想广泛应用于硬件设计,相比于其它设计方案有其难以超越的优越性。实时时钟RTC(Real Time Clock)基本功能是提供时、分、秒等时间信息,并可提供闹铃功能,因此广泛应用于需要实时时钟的场合如数码相机、PDA、计算机、手机等。本论文首先介绍了有限状态机理论,阐述了使用FSM思想如何设计和实现RTC,抽象出了主要模块的有限状态图,并给出了比较详细的设计方案。 相似文献
5.
有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数,传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换,而用硬件描述语言来描述有限状态机,往往是通过充分发挥硬件描述语言的抽象建模能力,通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。随着EDA工具的快速发展,通过CAD快速设计有限状态机自动化成为可能。 相似文献
6.
该文首先介绍了有限状态机的一般理论并描述了两种确定型有限状态机模型,之后将有限状态机模型引入通信系统中,并以GTP协议为例介绍了通信协议报文在GPRS网络中流转的过程及测试方法。 相似文献
7.
有限状态机设计与实现方法 总被引:2,自引:0,他引:2
在UML各种工具中,有限状态机(FSM)是一种强大的支持动态建模的工具。通过一张图表使可以描述很复杂的逻辑。它广泛应用于通信协议、图形界面以及其它方面,本文概括地介绍FSM模型,并通过分析过程编程和面向对象两种技术介绍有限状态机的设计与实现的方法和技巧。 相似文献
8.
10.
基于有限状态机的自动售货机控制器 总被引:1,自引:0,他引:1
针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机(Hierarchical FSM,HFSM)模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转化为一棵状态树,利用状态的局部相关性查找下一个目标状态。分析表明,该模型能有效地解决复杂系统的“庞大症”。 相似文献
11.
基于Petri网的信息系统建模及性能分析 总被引:4,自引:0,他引:4
采用基于Petri网的信息系统建模技术,对一实际系统进行建模,并利用Petri网严谨的数学分析理论对所建信息系统模型的性能进行了描述和分析。 相似文献
12.
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作, 存在以下不足: (1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况, 而更多的实际应用中每个任务的执行时间是在一个区间范围内, 因此不能模拟这些应用; (2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化, 不便于工程设计人员使用; (3)没有考虑任务间互斥访问共享变量的情况. 为此, 定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足; 定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足; 给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足, 以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法; 开发工具软件, 方便工程设计人员使用. 相似文献
13.
Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展。Petri网技术和其它技术的完美结合使其在应用领域发挥作用。从哲学高度分析了Petri网获得成功的思想渊源。通过诠释Petri网思想与哲学思想的诸多相通之处,提出了一种以哲学观点认识和理解Petri网的新思想。Petri网理论的晦涩性在很大程度上限制了其更好发展。鉴于此,笔者在简化Petri网理论方面做了许多尝试,以期促进Petri网的流行与发展。 相似文献
14.
Petri网理论与方法研究综述 总被引:21,自引:0,他引:21
综述了Petri网领域的国内外研究状况,阐明了作者对网论的发展观点。指出Petri网理论和方法上所取得的成绩及其发挥的作用,结合自己的工作展望了这一领域的发展势态。 相似文献
15.
16.
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。 相似文献
17.
Petri网化简规则在系统中的实现 总被引:1,自引:0,他引:1
Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。 相似文献
18.
19.
20.
结合了UML状态图的表达特性和Petri网的分析特性,总结出状态图的设计步骤和状态图转化为Petri网的规则,并以国家质检总局科技项目-锅炉仿真系统为背景,对锅炉自动燃烧过程实例进行分析,按照设计步骤和转化规则,最终用Petri网描述出实例,为进一步分析系统特性奠定基础. 相似文献