共查询到10条相似文献，搜索用时 234 毫秒
1.
面向对象代数Petri网OOAPN（Object-Oriented Algebraic Petri Net）模型是多类别代数技术、面向对象技术与Petri网的完美结合.OOAPN模型是完全形式化的,可以实现复杂系统的动态建模,这为智能软件工程环境的建立提供一种新方法.该文给出了基于OOAPN模型的建模工具正向代码的生成实现. 相似文献
2.
Petri网适合描述异步、并发事件驱动和资源共享的办公自动化工作流部分，使用Petri网进行过程建模可以显著地改进和优化业务流程，更好地实现业务流程控制。以物业办公中的工作联系单为例，进行了业务流程分析、Petri网建模，并给出了任务表和后续节点流向控制算法。 相似文献
3.
随着汽车技术的发展,相应设备越来越先进,越来越复杂,这使汽车故障的诊断技术越来越困难.Petri网是系统建模工具,由于其异步及并发特性特别适合于描述系统的动态特性,因此在汽车故障诊断领域被广泛应用.通过对近年来对应用模糊petri网(FPN)进行汽车故障诊断的研究进展的综述,认为用电脑进行维修数据模拟是直观的,明确的,且易于实现,可以高效地找到汽车故障原因,并提出维护方法,从而达到维修目的. 相似文献
4.
周如旗 《广东教育学院学报》2005,25(5):99-102
在分析远程教育个性化服务系统行为特性以及用户学习活动中涉及的行为属性基础上,对普通Petri网进行基于属性抽取与整合操作的扩展,针对个性化远程教育系统建立基于扩展Petri网的形式化模型.从模型特性分析结果,它符合个性化学习活动特性和要求,能有效体现系统个性化功能特性. 相似文献
5.
本文根据FMS故障诊断系统知识具有不确定性及模糊性的特点,提出利用模糊Petri网来描述FMS故障产生和传播过程的故障诊断模型.首先介绍了模糊Petri网(FPN)的定义及用模糊Petri网表示产生式规则的方法,然后通过应用实例说明模糊Petri网的推理算法,最后还提出了规则库的维护方法. 相似文献
6.
刘跃建 《连云港职业技术学院学报》2013,(4):30-34
Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。 相似文献
7.
分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型. 相似文献
8.
魏正平 《九江职业技术学院学报》2002,(4):57-58,65
Petri网模型是FMS动态仿真的有利工具。本文利用面向对象方法对FMS和有色赋时Petri网进行了描述，并根据最小下次事件时间推进原理，利用VisualC 建立了动态调度仿真系统。结果表明，面向对象方法具有表达直观和自然，可扩充性，实现容易和简便等优点。 相似文献
9.
就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。 相似文献
10.
情景演算对于动作理论的描述具有很强的表达能力,但是其推理算法具有不可判定性。在描述逻辑ALCO@的基础上,构建基于描述逻辑的动作理论系统DL-A。在该系统中,利用描述逻辑语言描述原子动作的表达式以及语义解释,并在此基础上利用各种构造符构造出顺序、选择、并发、迭代等复杂动作,同时赋予这些复杂动作的语法和语义。动作的实现会引起周围世界状态的改变,描述动作执行所引起的状态更新算法。基于描述逻辑ALCO@的动作理论不仅具有很强的表达能力,而且其算法具有可判定性,能够提供多种推理服务,可以应用于Web语义下的动作描述和推理。 相似文献