共查询到20条相似文献,搜索用时 93 毫秒
1.
基于Petri网的机电产品概念设计功能模型研究 总被引:1,自引:0,他引:1
功能分析是概念设计中最重要的阶段,从黑箱法的理论出发,以流及其状态和功能为基本要素建立了基于Petri网的机电一体化产品概念设计功能模型,为产品概念设计过程的优化以及设计效率的提高打下了良好基础,为以后智能软件的开发提供了良好的模型. 相似文献
2.
在数据库概念设计阶段,E-R图虽然广泛使用,但反映不出对数据的处理要求和数据库的完整性要求.提出了用Petri网建立数据库概念设计模型,把数据及其相关的处理集成在统一的网模型中,而且用事实(死变迁)规范了该模型的数据库完整性. 相似文献
3.
流体随机Petri网与混合Petri网的比较分析 总被引:2,自引:0,他引:2
流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合. 相似文献
4.
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。 相似文献
5.
基于Petri网的软件测试分析 总被引:1,自引:1,他引:1
软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。 相似文献
6.
基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。 相似文献
7.
8.
基于Matlab环境的Petri网的仿真方法 总被引:6,自引:2,他引:6
该文介绍了佩特利网(Petri网)和Statefow的基本概念,给出Petri网在Matlab环境下的仿真方法.并以单水箱系统的混合Petri网模型为例进行说明,结合仿真结果对Peri网的性能进行了初步分析。 相似文献
9.
本文研究了用计算机仿真技术作为随机Petri网的分析工具,并以通用仿真语言GPSS为例,讨论了随机Petri网与GPSS程序块之间的转换,并给出了应用实例。 相似文献
10.
基于面向对象着色Petri网的FMS仿真研究 总被引:5,自引:0,他引:5
1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下,人们在这方 相似文献
11.
在Federico提出的一种密码协议进程语言的基础上,建立了便于进行密码协议分析的简化Petri网模型,给出了协议满足秘密性的充要条件,并以NS公钥协议为例,用Petri网模型,结合归纳方法和串空间分析方法从密钥、新鲜数和协议主体三个方面的秘密性分析了该协议的秘密性,简化了协议秘密性的分析。 相似文献
12.
对柔性制造系统提出了一种新的死锁预防控制算法。运用区域理论对Petri网模型设计一个控制器,对控制器中所有严格极小信标求取控制库所与资源库所的代数式,保证了所有的严格极小信标受控。与现有方法相比,该策略不必考虑控制器结构,只需根据这些代数式分布控制器中的资源,就可以得到相应无死锁监督控制器。 相似文献
13.
14.
15.
16.
基于Petri网的工作流过程建模 总被引:3,自引:0,他引:3
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。 相似文献
17.
首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法. 相似文献
18.
19.
COPS协议的分析及其Petri网建模 总被引:1,自引:0,他引:1
在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础。 相似文献
20.
Petri网替换运算 总被引:3,自引:0,他引:3
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petfi网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。 相似文献