共查询到20条相似文献，搜索用时 218 毫秒
1.
面向对象代数Petri网OOAPN（Object-Oriented Algebraic Petri Net）模型是多类别代数技术、面向对象技术与Petri网的完美结合.OOAPN模型是完全形式化的,可以实现复杂系统的动态建模,这为智能软件工程环境的建立提供一种新方法.该文给出了基于OOAPN模型的建模工具正向代码的生成实现. 相似文献
2.
孙妍姑 《淮南师范学院学报》2011,13(4):80-82
网格工作流不仅仅是传统工作流技术在网格环境中的一个应用,同时有大量的基本问题需要重新考虑。以Petri网建模技术构建网格工作流的过程模型有其优点和不足,可以在传统Petri网的基础上针对网格工作流的特点进行扩展,通过定义动态有色Petri网这一建模语言,解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。 相似文献
3.
通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。 相似文献
4.
本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了 相似文献
5.
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。 相似文献
6.
为了提高软件工程中可视化编程的开发效率,提出了一种基于面向对象技术的代数Petri网的模型.该方法可以有效地减少开发人员的学习时间,提高软件系统的健壮性和开发效率. 相似文献
7.
方小铁 《廊坊师范学院学报(自然科学版)》2009,9(3):34-35,38
在定义了面向对象智能体Petri网及PDM模块各组成部分的基础上,提出了一种可以支持电子商务系统的OAP模型,并以房地产交易的双方为例进行了模型的设计及验证,证明该电子商务的执行过程在本文所设计的模型中得到了有效的追踪。 相似文献
8.
方小铁 《河北职业技术学院学报》2009,(3)
在定义了面向对象智能体Petri网及PDM模块各组成部分的基础上,提出了一种可以支持电子商务系统的OAP模型,并以房地产交易的双方为例进行了模型的设计及验证,证明该电子商务的执行过程在本文所设计的模型中得到了有效的追踪。 相似文献
9.
张彤 《赤峰学院学报(自然科学版)》2022,(2):9-12
为提高体检的效率和质量,对医院体检流程进行建模优化非常重要.文中建立了一种基于Petri网的体检流程建模优化模型.给出体检基本流程的Petri网原模型,探讨了该流程模型中存在的问题,然后结合互联网智慧医疗对原模型进行了建模优化分析,增加了体检智能导检和排队叫号系统,从体检效率、体检秩序和审查环节等方面对原模型进行了优化... 相似文献
10.
吴鲲 《廊坊师范学院学报(自然科学版)》2010,10(4)
以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能. 相似文献
11.
Y. Narahari 《Resonance》1999,4(9):44-52
Petri nets offer a versatile modeling framework for complex, distributed, concurrent systems and have been used in a wide
range of modeling applications. In Part 1 of this two-part article, we have seen important features and representational power
of the Petri net model. We have also seen how the application of firing rules enables Petri nets to capture the dynamics or
behavior of the modeled system. In this part, we will first understand how important system properties are modeled by Petri
nets and then look into the applications of Petri net models. 相似文献
12.
提出了一种基于流体随机Petri网的工作流响应时间概率分布计算方法.首先讨论了利用随机工作流网建模的一些相关问题,然后描述了如何将随机工作流网模型转化为流体随机Petri网模型,最后给出了该种流体随机Petri网模型的动态方程,说明工作流响应时间的概率分布可直接由流体随机Petri网模型的暂态解得到.该方法对工作流模型的结构没有提出任何限制,且工作流任务的处理时间可取任意概率分布,通过递归地使用网化简技术可有效地处理大型工作流模型. 相似文献
13.
Y. Narahari 《Resonance》1999,4(8):58-69
Petri nets offer a versatile modeling framework for complex, distributed, concurrent systems and have been used in a wide
range of modeling applications. The first part of this two-part article provides an overview of Petri nets and presents important
conceptual underpinnings of Petri net modeling. 相似文献
14.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性. 相似文献
15.
16.
17.
基于Petri网的电力系统故障域搜索 总被引：1，自引：0，他引：1
把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。 相似文献
18.
为了提高计算网格的服务质量(QoS),研究了包含多层调度器的分级分布式网格体系结构中的QoS-aware作业调度问题,提出了一种将计算网格本地调度器作业选择中所使用的作业优先级与全局调度器的作业分配策略相结合的QoS-aware作业调度综合控制策略.建立了一个具有2层调度器的计算网格的随机高级Petri网(SHLPN)模型,并且进行模型精化设计以降低模型求解的复杂性.使用基于SHLPN的性能分析技术进行系统性能评价.数值结果显示QoS-aware作业调度策略能够为高优先级的作业提供较QoS-unaware作业调度策略更好的QoS保证. 相似文献
19.
周如旗 《广东教育学院学报》2005,25(5):99-102
在分析远程教育个性化服务系统行为特性以及用户学习活动中涉及的行为属性基础上,对普通Petri网进行基于属性抽取与整合操作的扩展,针对个性化远程教育系统建立基于扩展Petri网的形式化模型.从模型特性分析结果,它符合个性化学习活动特性和要求,能有效体现系统个性化功能特性. 相似文献
20.
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 相似文献