共查询到18条相似文献,搜索用时 156 毫秒
1.
2.
基于Petri网的建设工程项目实施阶段资源建模与仿真* 总被引:1,自引:1,他引:0
基于分层赋时着色Petri网,构建了一个能够准确表达资源配置、任务持续时间及信息传递的资源模型,以便有效进行建设工程项目实施阶段的资源管理和优化配置.在建设工程项目实施阶段资源特点分析的基础上,对分层赋时着色Petri网中的非空颜色集合进行定义,并对资源管理中分层建模、资源分配和资源归还基础模型进行了研究,解决了基于分层赋时着色Petri网构建建设工程项目实施阶段资源模型的关键问题.最后,以某工业与民用建筑的实施阶段为例,进行资源管理模型的构建和仿真分析,验证了基于分层赋时着色Petri网构建建设工程项目实施阶段资源管理模型的正确性和有效性. 相似文献
3.
4.
在系统分析雷达旅(团)指挥协同过程特点的基础上,结合着色Petri网和时间融合函数发展了一类综合有色Petri网方法,并融入CSCW技术建立了相应的雷达旅(团)指挥协同模型.通过对作战指挥协同系统的建模,发现综合着色Petri网可以有效的降低系统模型的规模和复杂性. 相似文献
5.
模糊着色Petri网及其在工作流建模中的应用 总被引:5,自引:1,他引:5
Petri网是当前工作流建模中广泛采用的工具之一,针对工作流过程定义中模糊信息的描述和处理问题,提出模糊着色Petri网的描述方法,并给出基于模糊着色Petri网的推理过程,最后给出一个简单业务流程的基于模糊着色Petri网的工作模型,并对该模型进行了分析。 相似文献
6.
基于HTCPN的工程项目群工作流建模与仿真 总被引:1,自引:1,他引:0
在工程项目群实施阶段框架模型构建的基础上, 基于分层赋时着色Petri网定义了工程项目群实施阶段工作流模型。借助CPN Tools仿真平台, 以某工程项目群实施阶段为例进行了实例建模与仿真, 验证了基于分层赋时着色Petri网构建工程项目群实施阶段工作流模型的有效性。该工作流模型能够全面、准确地描述项目群复杂系统的实施全过程, 为实现项目群管理中的进度风险分析和流程优化提供技术与方法的支持。 相似文献
7.
UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。 相似文献
8.
UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析.验证了模型的一系列性质. 相似文献
9.
10.
11.
UML已经成为面向对象分析与设计建模事实上的标准。基于UML的C3I系统模型的设计结果是对系统的静态表述,而C3I系统的本质是动态的。着色Petri网(CPN)具有强大的描述能力及严密的数学基础和多种分析手段,并且是可以仿真运行的。提出了从UML产品映射到可用于逻辑、行为和性能方面体系结构评价的CPN可执行模型的方法,对光电干扰武器系统C3I进行了UML建模的一般描述,阐述了光电干扰武器系统C3I从UML产品映射到CPN建立可执行模型的过程。通过对可执行模型CPN的仿真可对光电干扰武器系统C3I进行完整准确的评价。 相似文献
12.
13.
排队系统的着色Petri网建模与分析 总被引:1,自引:0,他引:1
着色Petri网(CPN)是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。 相似文献
14.
15.
16.
17.
18.
Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。 相似文献