共查询到20条相似文献，搜索用时 62 毫秒
1.
基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析，给出了系统死锁存在的充分必要条件。 相似文献
2.
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 相似文献
3.
本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了 相似文献
4.
机械产品并行设计过程具有多因素、离散、动态和并发等特点,尤其是并发性,它影响设计结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力,以及图形表示的直观性,建立并行设计问题的Petri网模型,并对模型的动态、并发问题进行了分析。 相似文献
5.
魏正平 《九江职业技术学院学报》2002,(4):57-58,65
Petri网模型是FMS动态仿真的有利工具。本文利用面向对象方法对FMS和有色赋时Petri网进行了描述，并根据最小下次事件时间推进原理，利用VisualC 建立了动态调度仿真系统。结果表明，面向对象方法具有表达直观和自然，可扩充性，实现容易和简便等优点。 相似文献
6.
基于有色Petri网的火力分配过程建模 总被引：1，自引：0，他引：1
为了有效地进行火力分配，利用有色Petri网对火力分配过程建模，形象直观地描述了分配过程中事件的不确定性、并行性和资源共享等特征，同时有效地解决了模型中存在的冲突、死锁等问题，并克服了普通Petri网建模时复杂繁琐的缺点。 相似文献
7.
孙妍姑 《淮南师范学院学报》2011,13(4):80-82
网格工作流不仅仅是传统工作流技术在网格环境中的一个应用,同时有大量的基本问题需要重新考虑。以Petri网建模技术构建网格工作流的过程模型有其优点和不足,可以在传统Petri网的基础上针对网格工作流的特点进行扩展,通过定义动态有色Petri网这一建模语言,解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。 相似文献
8.
郑洁张洁于宏礼 《浙江工贸职业技术学院学报》2013,(4):31-34
针对轴承企业适应MTO生产发展的现实需要,在分析轴承生产工艺实施的基础上,设计了基于业务协同的数据、服务和协同的三层系统模型,并引入Petri网对工艺管理进行模拟,基于着色Petri网对工艺设计流程进行实例化模型构造,并最终开发了工艺管理信息化系统,实现了从设计、工艺到制造、从PDM到ERP的系统集成。 相似文献
9.
基于扩展Petri网的混合系统建模方法 总被引：1，自引：0，他引：1
为了对混合系统进行有效地建模,提出了一种扩展的面向对象混合Petri网(EOHPN)建模方法.针对混合系统的复杂性,在EOHPN模型中融入了面向对象的抽象机制,例如封装和类定义.为了结合混合系统的连续部分和离散部分,减少混合系统的复杂性,引入混合Petri网并用面向对象建模技术作了扩展.在定义EOHPN模型的基础上,拓展了对象模型.最后,用实例描述了基于EOHPN的混合系统建模过程,同时验证了EOHPN模型在处理复杂混合系统建模时是有效的. 相似文献
10.
Petri网可以图形化复杂系统行为,本研究基于Petri网的基础理论,对急诊流程模型进行优化,以达到紧急状态下快速收治病人的目的.首先给出急诊流程的Petri网模型,通过实际急诊过程中出现的问题增加相应的库所变迁结构,利用交叉序关系、排他序关系进行优化,使急诊流程更加高效,验证了流程优化模型的有效性. 相似文献
11.
基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性. 相似文献
12.
本文根据FMS故障诊断系统知识具有不确定性及模糊性的特点,提出利用模糊Petri网来描述FMS故障产生和传播过程的故障诊断模型.首先介绍了模糊Petri网(FPN)的定义及用模糊Petri网表示产生式规则的方法,然后通过应用实例说明模糊Petri网的推理算法,最后还提出了规则库的维护方法. 相似文献
13.
教学质量评价是教师了解课堂教学情况、获得反馈信息、提高教学质量的有效途径之一.本文研究了高校教学质量评价的过程,利用着色Petri网对高校教学质量评价的过程进行建模与分析,并使用CPN Tools检测所建模型的合理性,实现对高校教学质量评价过程的验证. 相似文献
14.
《绵阳师范学院学报》2019,(5):100-103
本文讨论了数据链路层信息传输协议,建立了单工信息传输的Petri网模型,通过Petri网的关联矩阵和可达图对数据链路层信息传输协议进行动态分析,进一步验证了通信协议的正确性. 相似文献
15.
分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型. 相似文献
16.
介绍了Petri网的基本理论,分析了基于网络服务的分布式协同办公应用的特征,在此基础上提出了基于Petri网的分布式协同办公的通用智能模型,该模型具有语义明确、易于修改,并且易于验证的优点,最后以文档审批工作流为例给出了具体的模型实现过程． 相似文献
17.
随着我国教育事业的发展,学校之间的竞争日益激烈,如何优化学校内部管理体制和提高工作效率显得愈加重要。以学校会议管理系统为背景,结合学校会议管理的实际应用环境,提出基于Petri网的学校会议管理系统工作流模型,用Petri网可达树分析方法分析了模型的可行性,并基于此模型开发了相应系统。 相似文献
18.
Petri网适合描述异步、并发事件驱动和资源共享的办公自动化工作流部分，使用Petri网进行过程建模可以显著地改进和优化业务流程，更好地实现业务流程控制。以物业办公中的工作联系单为例，进行了业务流程分析、Petri网建模，并给出了任务表和后续节点流向控制算法。 相似文献
19.
面向对象代数Petri网OOAPN（Object-Oriented Algebraic Petri Net）模型是多类别代数技术、面向对象技术与Petri网的完美结合.OOAPN模型是完全形式化的,可以实现复杂系统的动态建模,这为智能软件工程环境的建立提供一种新方法.该文给出了基于OOAPN模型的建模工具正向代码的生成实现. 相似文献
20.
王建兴 《赤峰学院学报(自然科学版)》2008,(7)
对企业采购流程运用Petri网技术进行分析,按照工作流网概念设计了自动化的模型,基于建立的模型,介绍了应用Smart Client技术构建的应用系统. 相似文献