一种基于有色Petri网的DES的控制方法

通过有色Petri网来实现具有或逻辑形式约束条件的Petri网控制器是非常有效的,但以往的文献通常假设Petri网中的变迁是不能并发的。本文提出的利用有色Petri网控制离散事件系统(DES)的方法,不但实现了或逻辑形式的约束,而且允许Petri网中的所有变迁都可以并发。     

软件工程中应用的建模仿真工具-CPN

CPN(ColoredPetrinets)也称彩色Petri网或着色Petri网,是Petri网各种发展版本中较成熟一种,它完美的结合了Petri网的图元显示和程序语言的数据定义。正因为两方面的合理搭配,使CPN在许多领域的建模仿真工作中起到了不可替代的重要作用。1、CPN的历史Petri网最早发展是在六七十年代,很快它就被当作一种有效描述和分析并发过程中同步、联系和资源分配的语言。然而,在实际使用中Petri网存在两个严重的缺陷。首先,Petri网没有数据的概念,因为所有的数据控制必须转化为网上的结构(如位置或转移),故经常导致模型非常庞大;其次,Petri网没有…     

Petri网在服务外包公共平台中流程建模与优化的应用

利用Petri网解决服务外包公共平台中业务流程建模及优化问题。首先阐述Petri网的基本原理,然后以服务外包公共平台中的一个接包流程为例进行Petri网建模,继而讨论该Petri网的合理性,再根据Petri网的优化规则对其优化,最后根据分析得出结论。     

基于Petri网的工作流建模及其优化

Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。     

基于Petri网制定作战计划的建模与优化

鉴于Petri网在企业业务流程优化与重组方面的成功运用,逐将Petri网原理应用于制定作战计划的建模与优化,以期获得最优作战计划制定流程.文中首先阐述Petri网基本原理,然后介绍制定作战计划建模的Petri网模型,最后给出制定作战计划的优化的原则及基本模型,并利用Petri网对制定流程进行建模和优化,结果表明Petri网理论能够明显优化制定作战计划的流程,提高作战指挥效率.     

基于Petri网的工作流建模研究

介绍了工作流建模标准和Petri网的相关概念,给出了Petri网中顺序、并行、选择、循环4种基本结构;从实际出发,对一个复杂的企业生产经营管理的业务流程进行层次化建模,在生产流程中采用Petri网工作流建模技术得到工作流网模型及其子模型。     

面向对象petri网在系统建模中的应用

Petri网具有形象直观的图形描述和严格的数学定义,能描述异步、并发的系统模型.OO技术采用模块化设计思想和自底向上的设计方法,便于模型地设计和维护,有大事化小之功效.针对Petri网建模过程的结构复杂性,本文结合OO技术和Petri网实现了对一小型运货系统的建模,该方法较传统的Petri网建模更加灵活、高效.     

模糊Petri网在电子商务领域应用研究

在模糊Petri网的与规则和或规则基础之上,对模糊Petri网的产生式规则进行了细分,得出4种不同类型的规则。针对电子商务中电子支付安全问题,建立模糊Petri网模型,并结合实例对模型进行实验验证,为研究电子商务安全问题提供了一种新的思路和方法。     

基于语义网的数字图书馆的关键技术

叙述了数字图书馆的特性 ,给出了基于语义网的数字图书馆构想 ,并讨论了基于语义网的数字图书馆设计过程中的一些关键问题。     

云Log管理系统的设计与分析

通过对企业实际生产流程的调查、分析、研究及合理优化，设计出云Log管理系统。文章利用Petri网与已有算法实现系统建模及系统对应PEPA模型的构建，对系统的Petri网和PEPA模型的结构进行分析，并基于OpenStack及JavaWeb技术开发云Log管理系统。     

基于Petri网的协同工作流描述方法及建模

工作流技术作为实现企业协同的有效手段,广泛应用于各种场合,应用中的关键是建立适合企业过程的协同工作流模型.Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示.文章主要介绍了Petri网和协同工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了设计实例.     

一种业务过程建模方法研究

根据业务过程的特征和要求,总结当前建模技术的不足之处,在经典Petri网和对象Petri网建模技术的基础上,提出了扩展对象Petri网建模方法,以提高模型的可重用性,降低建模过程的复杂度,加强对动态流程的描述能力,解决临界资源的共享问题。通过一个具体实例阐述了如何建立扩展对象Petri网模型,通过设计时间映射机制,控制资源的有效调度和流程的正常运行;引入有色令牌思想,提高模型对动态过程的描述能力;利用死锁检测机制,验证模型对流程描述的正确性和有效性。     

使用Petri网对网格服务进行建模

文章提出了用Petri网对网格服务进行建模,包括服务的行为的建模和服务性能的建模。在建模之后服务的使用和管理可以通过Petri网强大的表达能力和分析能力来进行。     

基于Petri网的OA工作流模型的研究与设计

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模技术。本文以发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

一种基于Petri网的模型调度方法

针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方...     

基于知识元和有色Petri网的应急实施流程优化方法

合理的应急实施流程对于有效应对突发事件至关重要。在知识元理论与Petri网方法的基础上提出了一种突发事件应急实施流程的优化方法。首先,借鉴共性知识模型,形式化表示活动基元及其内部联系,建立活动基元模型。随后,找到活动基元模型与有色Petri网的映射关系,并使用有色Petri网方法实现活动基元模型以及活动基元间的基本路由关系。在此基础上,结合知识元原理和Petri网方法,提出突发事件应急实施流程的五步优化方法。最后,以化学危险品事故为例说明该优化方法的使用过程。     

基于语义网的数字图书馆

阐述了将语义网应用于数字图书馆中的优势,提出了一种基于语义网的数字图书馆的四层模型,说明了各层的作用,并用本体描述语言OWL描述了各层的概念与关系.最后探讨了基于语义网的数字图书馆所涉及的关键技术:语义网格、SOA和本体等.     

一种基于Petri网的足球机器人角色转换的设计

足球机器人具有离散事件系统（DES）的特征，而Petri网是一种很好的离散系统的建模工具，能够比较直观地反映系统的动态特性。因此本文针对多机器人对抗比赛中各个机器人如何分配角色的问题，给出了机器人角色转换的原理和基于计算机多线程编程的动态角色分配协议，并进一步建立了一种基于Petri网的角色转换模型，通过仿真对该模型进行了可达性分析。最后，本文通过实验较好地实现了多机器人之间的角色转换。     

基于Petri网的Big6教学模式建模研究

简介Big6教学模式,提出将其运用到信息素养网络课程中,并探讨了开发和设计基于Big6模式的文献检索课程自动化平台的思路,平台设计基于Petri网建模,以反映Big6的教学流程.笔者在对工作流模型和Big6教学流程模型进行类比后,归纳出使用Petri网建模Big6教学流程和工作流的相似性,并在原有对Big6教学模式的Petri网建模中融合了工作流的思想和方法.     

基于Petri网的政府决策支持系统设计模型

政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。