Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

基于Petri网的公路施工资源瓶颈识别和消除

施工资源优化对于保证施工进度、降低施工成本具有重要的作用。对沥青路面机械化施工过程建立了面向对象的Petri网仿真模型，利用Petri网关联矩阵分析法研究了基于资源生产周期的资源瓶颈识别方法。根据施工特点给出了瓶颈消除的4种方法：简单调整方法、考虑生产能力储备系数的调整策略、以主要设备为核心的调整策略、改变施工方法的调整策略，可形成了基于Petri网的资源瓶颈识别和消除方法。工程实例表明，该方法能有效提高施工质量和效率。     

基于Petri网的机械系统诊断传感器优化配置

针对如何在机械加工系统中设置最少传感器以观测所有故障变迁激发的问题,提出一种改进的Petri网模型和可辨识性(Identifiability)概念,建立了离散事件系统的故障诊断模型。基于该模型,利用图论方法开发了机械系统诊断传感器优化配置算法。此算法不依赖于系统的初始标识,仅与PN模型的图形拓扑结构有关,在已知系统模型的条件下,可以计算系统所需的最少传感器数量及其配置方案,最后以一实例证明了此方法的有效性。     

设备维修流程的petri网模型研究

从简单Petri网开始,用子网代替初始简单网的库所或变迁。系统的设备、资源及其动态协作关系用Petri资源、库所、变迁描述。在论述了petri网技术优点的基础上,提出采用层次化的Petri网技术来建立设备系统维修流程仿真模型,并举例详述了该模型的建立。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

基于配置约束的网上购物系统优化分析

业务流程优化是业务流程管理的核心内容之一,对带约束的业务流程模型进行优化分析变得更加困难。提出了基于Petri网配置的带约束的业务流程优化分析方法。给出业务流程Petri网源模型,在行为约束条件下,对源模型添加有关配置信息进行配置优化分析,通过网上购物系统实例验证了该方法的有效性。     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

Petri网系统并行化方法的研究

对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.     

基于性能分析的一种OOPN关联矩阵建立方法

目的从性能分析角度建立面向对象Petri网(OOPN,Object-Oriented Petri Nets)关联矩阵。方法通过建立OOPN中可量化的基本元素包括:资源、弧的权重等的数量化模型以及双向弧、同步通道等的性能等价模型,从而得到OOPN的数量化模型。结果基于数量化模型完成了OOPN关联矩阵的建立,以公路施工中的土方装载、运输、平整为例演示了该方法。结论利用该方法建立的OOPN关联矩阵能够对资源均衡配置等性能指标进行优化计算,对生产实践具有指导意义。     

低轨道卫星功率带宽资源联合分配方法

由于低轨道卫星星上功率和带宽资源有限,设计有效的资源分配方法具有重要的意义.基于此提出了一种低轨道星间功率带宽资源联合分配方法,提高了星间资源分配的公平性和网络业务承载能力.该方法应用地面站数目和星地链路存在时间刻画星间链路容量的比例,将星间资源分配问题归纳为非线性混合整数规划问题.通过引入动态可行域,定义二元变量更新操作来改进燕子群算法,用于优化模型求解.仿真得出卫星瞬时吞吐容量和瞬时网络容量变化具有周期性,并伴有随机波动,所提方法牺牲了网络容量,获取了星间资源分配的公平性.     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

多维资源的多元优化处理应用研究

多维资源的多元优化处理问题是一个典型NP-Hard问题,一般通过多种算法进行解决.在禁忌算法和遗传算法的基础上构建了一个基于多策略算法的多维资源多元优化处理模型,该模型通过优化资源分配的初始结果,避免用单一算法所得结果误差大和资源分配的两极分化现象,使资源利用更加合理化和人性化,且可平衡实际分配结果与期待值之间的关系,更大程度上满足用户需求.     

基于Petri网的公路施工资源总体优化方法

基于施工资源局部优化建立的Petri网模型输出和资源能力之间的关系,采用施工资源强度柔化的总体优化方法调整工序所需资源,使工序的持续时间加长或缩短,从而降低资源平衡性指标,给出了柔化的取整准则、方向准则和幅度准则,并进行了证明.最后以工程实例与最小方差法进行了优化效果的对比研究.结果表明,柔化方法与工程管理习惯一致,能够大幅降低传统方法优化时的计算工作量,得到更加优化的平衡性指标.     

多信道无线多跳网络中视频流的跨层优化

为提高视频流在多信道无线多跳网络中的传输质量,提出了一种分布式的跨层优化算法.首先对信道分配、干扰、带宽分配、延时分配和视频传输失真进行了数学建模,然后基于凸规划和拉格朗日对偶分解理论,在视频流端到端延时限制下通过调整信源编码速率、链路带宽、链路平均延时上限及射频和信道分配来最小化总的视频流失真.理论分析和数值仿真表明,所提出的分布式跨层优化算法可以收敛到全局最优解.     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．