首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 31 毫秒
1.
Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.  相似文献   

2.
面向对象代数Petri网OOAPN(Object-Oriented Algebraic Petri Net)模型是多类别代数技术、面向对象技术与Petri网的完美结合.OOAPN模型是完全形式化的,可以实现复杂系统的动态建模,这为智能软件工程环境的建立提供一种新方法.该文给出了基于OOAPN模型的建模工具正向代码的生成实现.  相似文献   

3.
通过对有向图的存储问题进行研究,提出了一种在对象Petri网的表存储结构中用三叉链接表实现存储的数据结构,给出了其构造算法。应用在对象Petri网的表存储结构中,利于展开对象Petri网的各种分析算法,从而实现工作流模型的定义。  相似文献   

4.
引入了单纯Petri网的概念,设∑=(S,T;F,M_0)是可逆有界Petri网,已证明可逆有界Petri网可由几个单纯Petri网连接得到.因此,为了讨论可逆有界Petri网的全进程就有必要研究单纯Petri网的结构和全进程,并证明单纯Petri网的结构由其可达标识链决定,为进一步认知单纯Petri网的全进程提供新思路.  相似文献   

5.
本文根据FMS故障诊断系统知识具有不确定性及模糊性的特点,提出利用模糊Petri网来描述FMS故障产生和传播过程的故障诊断模型.首先介绍了模糊Petri网(FPN)的定义及用模糊Petri网表示产生式规则的方法,然后通过应用实例说明模糊Petri网的推理算法,最后还提出了规则库的维护方法.  相似文献   

6.
基于Petri网的工作流过程建模与分析方法的研究   总被引:5,自引:0,他引:5  
工作流管理是CSCW的一个重要方面 .本文介绍了工作流过程的基本知识 ,给出了一种基于Petri网的建模方法和基本定义 ,讨论了工作流过程结构和行为正确性的分析和验证 ,最后提出了过程定义的验证算法 .  相似文献   

7.
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。  相似文献   

8.
为了提高软件工程中可视化编程的开发效率,提出了一种基于面向对象技术的代数Petri网的模型.该方法可以有效地减少开发人员的学习时间,提高软件系统的健壮性和开发效率.  相似文献   

9.
Petri网可以图形化复杂系统行为,本研究基于Petri网的基础理论,对急诊流程模型进行优化,以达到紧急状态下快速收治病人的目的.首先给出急诊流程的Petri网模型,通过实际急诊过程中出现的问题增加相应的库所变迁结构,利用交叉序关系、排他序关系进行优化,使急诊流程更加高效,验证了流程优化模型的有效性.  相似文献   

10.
本文在Petri网的基础上,引入本体,提出了本体驱动的Petri网建模方法。通过定义工作流元模型本体,将工作流模型用本体语言表达,从而建立本体与Petri网的对应关系,将本体丰富的语义特征与Petri网强大的分析能力相结合,由于本体具有丰富的语义表示与语义推理能力,从而有效地解决了  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号