基于Petri网的科研项目管理工作流模型的建立与验证

本文面向高职校科研项目的管理问题,在给出项目管理过程的工作流模型的基础上,建立了基于Petri网的科研项目管理工作流模型,运用W.M.P van derAalst的工作流网完整性定义及模型化简方法,实现了对该模型正确性和有效性的验证。     

基于Petri网的采购流程自动化

对企业采购流程运用Petri网技术进行分析,按照工作流网概念设计了自动化的模型,基于建立的模型,介绍了应用Smart Client技术构建的应用系统.     

基于Petri网的最大流-最小割问题建模与求解

给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型结合起来给出最大流-最小割问题完整的解决方案。Petri网图形化的仿真过程为研究网络流从局部到整体的变化提供了直观的描述。仿真结果证实该方法准确、有效。     

基于Petri网的混杂控制方法在锅炉燃烧系统中的应用研究

锅炉燃烧系统是典型的复杂被控对象,常规的控制方案难以取得满意的控制效果.将基于Petri网的混杂控制方法引入锅炉燃烧系统,给出了锅炉燃烧系统的混杂控制模型,利用Petri网建立了离散事件系统的模型.     

OOAPN模型建模工具正向代码的生成

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

基于Petri网的EVCARD共享汽车系统建模优化

目前业务流程的建模是业务流程管理的核心内容之一,对业务流程模型进行建模优化变得尤为重要.Petri网的可达性是进行Petri网业务流程分析的基础,在EVCARD共享汽车系统模型中,通过分析库所与变迁之间的可达关系,可以实现商家与顾客的共同利益.我们首先在已有的共享汽车系统的基础上给出业务流程Petri网模型,然后通过在模型中增加库所变迁的方式进行模型优化,使其具有适用性.     

个性化远程学习的形式化建模方法研究

在分析远程教育个性化服务系统行为特性以及用户学习活动中涉及的行为属性基础上,对普通Petri网进行基于属性抽取与整合操作的扩展,针对个性化远程教育系统建立基于扩展Petri网的形式化模型.从模型特性分析结果,它符合个性化学习活动特性和要求,能有效体现系统个性化功能特性.     

基于DD-RCM和时序Petri网的电厂故障管理系统优化

基于DD-RCM和时序Petri网提出一种优化电厂故障管理系统方法.用DD-RCM方法建立电厂故障管理系统的模型,并根据对应规则将电厂故障管理系统的DD-RCM模型转化为相应的时序Petri网模型;再根据Petri网模型确定出各种活动之间的选择、冲突、同步和并发的关系.进一步用关联矩阵的重组算法对各种关系加以描述.然后用简化规则结合冲突表和同步表对Petri网模型进行简化,实现对电厂故障管理系统的优化.最后基于时序Petri网的时态逻辑证明了简化Petri网的功能性.     

基于petri网的急诊流程模型优化分析

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

一类s-组合Petri网模型及其结构分析研究

基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析，给出了系统死锁存在的充分必要条件。