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

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

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

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

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

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

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

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

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

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

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

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

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网(Object-oriented Petri Net,OOPN)对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

基于时间Petri网的档案管理系统的建模与分析

基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具,己被广泛应用于各个领域中。以学校档案管理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育档案管理工作流系统的建模中。结合学校档案管理工作流的实际应用环境,提出基于时间Petri网的档案管理系统工作流模型,并利用可达树分析方法,对其进行时序分析,用具体数据分析了档案管理工作流模型的性能。     

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

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

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

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

基于Petri网装配建模技术的研究

装配建模是装配序列规划的基础,本文采用适于离散系统建模的Petri网建立了装配系统模型,提高了装配序列规划的效率。采用分层Petri网建立装配体的装配模型,零件或子装配体采用库来表示;零部件之间的装配操作采用变迁来表示;零部件装配操作之间的关系采用流控制弧来表示,用来将库所节点和变迁节点连接起来。通过对所建立的Petri网装配模型进行分析可得到装配体的所有可行装配序列。     

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

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

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

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

基于模糊Petri网的监控视频事件建模与识别

视频事件建模与识别是视频特征处理和计算机视觉领域的关键技术。本文提出利用模糊petri网进行监控视频事件建模和识别的方法,用模糊Petri网进行监控视频事件建模．并所建立的视频事件模糊Petri网模型基础上进行模糊推理,计算出发生某个视频事件的置信度。通过案例证明了该方法的有效性。     

基于银行储蓄账户管理系统的建模方法研究

本文对一个简化了的银行储蓄账户管理系统进行建模,分别采用了三种不同的建模方法：传统的结构化方法、面向对象方法及Petri网方法。传统的结构化方法主要采用了分层的数据流图（即分层的DFD图）、结构图（即sc图）等技术。面向对象方法主要采用了统一建模语言（即UML）中的用况分析、用况图、活动圈等技术。最后,采用目前比较热门与流行的Petri网技术建模,井用相关的软件对所建模型进行仿真测试实验,仿真结果分析。     

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

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

基于连续Petri网的城市交通网络建模研究

建立了基于连续Petri网的城市交通网络模型。采用层次化的建模方法,首先构建整个交通网络系统的大框架模型,然后对其构成的关键要素——交叉口给出细化模型。交叉口模型清晰地描述了各个方向的交通流在道路交叉口处的转向行为和转向延误信息。体现路段阻抗和节点阻抗的时延因素的引入,使得模型能更加真实地反映交通网络的动态特性,为后续动态路径的诱导和交通控制提供思路。     

基于功能的petri网飞机温控系统故障诊断研究

针对飞机温控系统的故障复杂性,提出了一种基于功能的以模糊Petri网为推理算法的故障诊断方法。首先根据系统分析,推导出子系统和系统功能参数,建立了描述功能层次关系的功能模型,提高了故障诊断的直观性和有效性;然后利用模糊Petri网的快速和并行推理能力,建立了反映功能模型的故障诊断模型,定位故障功能组件,提高了诊断的快速性和精确性;最后通过实例验证了该方法的有效性。     

基于petri网的自动销售机模型

Petri网络以网络理论、代数理论等为数学基础,以图形化的方法直观地描述了离散事件系统的各种关系和行为,适用于描述异步并发现象的计算机系统模型和对并行及并发系统进行行为分析。本文提出一种基于Petri网络的自动销售机模型模型,通过此模型解决自动销售机系统具有的并发性、异步性、分布式、非确定性、并行性等问题。     

基于Petri网的C4ISR系统模型结构的构建过程

在C4ISR系统的建模中,如何构建准确合理的模型结构一直是Petri网建模方法的一个研究重点。本文提出了一种“流程图—模型结构”的建模方法,该方法的优势在于建模过程清晰明了,而且便于模型建立后的纠错和修改。本文以外军防空火力系统为例,运用该方法进行建模,对复杂系统基于Petri的建模有较高的参考价值。