共查询到19条相似文献，搜索用时 187 毫秒
1.
Petri网可以图形化复杂系统行为,本研究基于Petri网的基础理论,对急诊流程模型进行优化,以达到紧急状态下快速收治病人的目的.首先给出急诊流程的Petri网模型,通过实际急诊过程中出现的问题增加相应的库所变迁结构,利用交叉序关系、排他序关系进行优化,使急诊流程更加高效,验证了流程优化模型的有效性. 相似文献
2.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性. 相似文献
3.
基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析，给出了系统死锁存在的充分必要条件。 相似文献
4.
现代远程教育区别于传统教学模式的重要特征是向学生提供个性化的教学支持服务.本文分析了现阶段远程教育提供个性化教学支持服务的现状,提出了利用Web使用挖掘技术,构造一个个性化远程教育的系统模型,通过对学生访问行为、频度、内容、停留时间等的分析,得出学生访问行为和方式的一般模式,并以此为依据向学生提供全面的个性化教学支持服务. 相似文献
5.
刘超美 《兰州石化职业技术学院学报》2007,7(3):21-23
锅炉燃烧系统是典型的复杂被控对象,常规的控制方案难以取得满意的控制效果.将基于Petri网的混杂控制方法引入锅炉燃烧系统,给出了锅炉燃烧系统的混杂控制模型,利用Petri网建立了离散事件系统的模型. 相似文献
6.
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 相似文献
7.
吴鲲 《廊坊师范学院学报(自然科学版)》2010,10(4)
以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能. 相似文献
8.
李静 《重庆第二师范学院学报》2008,21(6):67-69
如何根据学习者特点有效实现个性化学习一直是远程教育领域中面临的挑战。网格的发展使远程教育在技术、模式和理念等方面产生一场深刻的革命,提出了基于网格的个性化学习系统模型,给出其体系结构和实现技术方案。实例分析表明,该模型能较好地提取学习者的个性化特征,以组织特定的学习内容,采取特定的教学方式,加入特定的学习环境,并能动态反馈调整,是远程教育个性化的一个可行方案。 相似文献
9.
王建兴 《赤峰学院学报(自然科学版)》2008,(7)
对企业采购流程运用Petri网技术进行分析,按照工作流网概念设计了自动化的模型,基于建立的模型,介绍了应用Smart Client技术构建的应用系统. 相似文献
10.
远程教育发展到现在,同传统的教学形式相比较,有其优越的一面,但是其本身也存在着一些弊端。随着信息技术的发展,将语义网、Ontology技术应用于远程教育体系,会使现有的远程教育系统具有语义,系统可以与学生进行更好的交流,在一定程度上提高学生的学习效率,促进学生的学习积极性。本文对目前的基于网络的远程教育进行了分析,提出了一种基于语义网的远程教育体系模型。 相似文献
11.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。 相似文献
12.
Petri网适合描述异步、并发事件驱动和资源共享的办公自动化工作流部分，使用Petri网进行过程建模可以显著地改进和优化业务流程，更好地实现业务流程控制。以物业办公中的工作联系单为例，进行了业务流程分析、Petri网建模，并给出了任务表和后续节点流向控制算法。 相似文献
13.
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. 相似文献
14.
基于扩展Petri网的混合系统建模方法 总被引：1，自引：0，他引：1
为了对混合系统进行有效地建模,提出了一种扩展的面向对象混合Petri网(EOHPN)建模方法.针对混合系统的复杂性,在EOHPN模型中融入了面向对象的抽象机制,例如封装和类定义.为了结合混合系统的连续部分和离散部分,减少混合系统的复杂性,引入混合Petri网并用面向对象建模技术作了扩展.在定义EOHPN模型的基础上,拓展了对象模型.最后,用实例描述了基于EOHPN的混合系统建模过程,同时验证了EOHPN模型在处理复杂混合系统建模时是有效的. 相似文献
15.
16.
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. 相似文献
17.
18.
提出了一种基于流体随机Petri网的工作流响应时间概率分布计算方法.首先讨论了利用随机工作流网建模的一些相关问题,然后描述了如何将随机工作流网模型转化为流体随机Petri网模型,最后给出了该种流体随机Petri网模型的动态方程,说明工作流响应时间的概率分布可直接由流体随机Petri网模型的暂态解得到.该方法对工作流模型的结构没有提出任何限制,且工作流任务的处理时间可取任意概率分布,通过递归地使用网化简技术可有效地处理大型工作流模型. 相似文献
19.
基于Petri网的自动HAZOP分析和故障诊断集成 总被引：1，自引：0，他引：1
在系统分析HAZOP(hazard and operability)研究流程的基础上，介绍了具有模糊色的Petri网故障诊断建模方法，该方法可以有效地表示模糊信息．为构建基于知识库的专家系统，提出了一种有效集成HAZOP分析与故障诊断的知识库结构；基于具有模糊色的Petri网建模方法，提出了一种面向在线HAZOP分析和在线故障诊断的知识表示方式，该方式奠定了自动HAZOP分析和故障诊断集成的技术基础． 相似文献