基于有色Petri网建模的AGVS优化调度规则研究

针对烟草行业卷接包生产车间的自动化物流系统，提出了基于有色Petri网建模的方法，设计出了一个有铲的AGVS优化调度规则专家系统，有效地提高了物流系统的生产效率。     

基于Petri网可达性的生产流水线系统优化分析

Petri网可达性是进行Petri网业务系统分析研究的基础。文章利用Petri网可达性对瓶装水生产自动流水线系统进行建模分析,对生产过程中出现的次品问题通过增加一组控制结构进行优化。成功解决了自动化生产过程中出现的次品问题,帮助企业减少成本,提高生产率和产品合格率。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

基于有色Petri网的通信装备战场抢修效能评估

根据有色Petri网在离散动态系统建模中的强大优势，运用建模与仿真技术，对通信装备战场抢修效能进行了评估；运用有色Petri网（colored Petri net，CPN）工具对具体实例进行了仿真实现，其运行结果与该抢修系统的统计结果基本一致；证明了有色Petri网理论和仿真工具在本领域运用的可行性和科学性，为战场抢修系统的效能评估探索出了一种新的方法。     

基于Petri网的生产车间物料运输系统建模与仿真

提出了一种基于Petri网的生产车间物料运输系统Petri网模型,可以将该系统的物理过程通过网系统形象地表示出来,并反映出系统的动态特性。同时用ARENA仿真软件对该系统进行了模型仿真研究,仿真结果表明该模型是合理的。     

Petri网建模方法在网络仿真中的应用

首先介绍了Petri网原理及特点和Petri网建模的一般方法，然后以CSMA／CD网络为例给出仿真模型，最后总结Petri网建模优点并将Petri网建模与流程图进行了比较。     

基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

月球探测机器人的系统建模

为准确描述和有效分析机器人系统，提出了一种将面向对象技术与Petri网相结合的月球探测机器人系统建模方法，既保持Petri网对离散事件系统的准确描述性和直观性，又利用面向对象的自然性、易理解性、可重用性和可扩充性．月球探测机器人可利用该模型对系统性能进行分析和故障预测．     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

基于Petri网的应急管理工作流模型

讨论了由Petri网发展起来的工作流网WF-net的定义、工作流执行结构及任务触发方法,引入WF-net建立应急管理信息系统工作流模型,提出了一种基于Petri网工作流模型的建模方法及其相关规则．以一个省级应急管理系统为例,详细阐述了构建Petri网工作流模型的过程,并利用验证工具对该模型进行了正确合理性分析．     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

闭环模糊Petri网系统

该文提出了一种新型的模糊Petri网—闭环模糊Petri网系统,它形成了一个闭环动态系统,开拓了原有模糊Petri网的应用领域,能更好地应用于经济系统等相互联系、相互影响、相互制约的系统中。首先给出模糊Petri网的定义及其运行规则,并引入了一个灵敏度向量,来刻画各个库所对外界刺激的反应程度,然后用代数矩阵运算来对该模糊Petri网的动态运行过程进行形式化描述,同时可以得到系统运行过程的全部状态值,最后给出实例进一步进行解释说明。     

Computation of special markings of Petri nets of manufacturing systems

This paper proposes a method to find the set of dangerous markings of Petri nets based on integer programming by computing a partial set of reachability markings. The proposed method can be used to find all deadlock markings by employing the definition of deadlock markings and the structure information(P-invariant) on Petri nets. Then the state equation is used to derive the sets of bad and dangerous markings. Finally, using the Petri net model of a manufacturing system,we verify the computation of special markings(such as deadlock markings and dangerous markings). Experimental results show that the special markings can be computed by obtaining the partial reachability graph,which reduces state the space explosion problem.     

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

基于VHDL和PETRI网实现异步DMA控制系统

设计开发一种基于VHDL语言的新型集成技术,实现用David cells(DCs)构成的异步电路系统(Speed independent,SI),它综合了逻辑集成技术和直接语法转换的优点,在这项技术中,颜色Pe-tri网技术和标签Petri网技术被用作数据通道(datapath)和控制的中间形式,SI电路可以通过直接映射技术从这些网(颜色Petri网和标签petri网)中直接获得。     

武器装备采办管理组织结构的Petri网建模与分析

分析了用Petri网描述武器装备采办管理组织结构的可行性,运用并行工程的方法建立了采办管理组织结构的Petri网模型,并简要介绍了对此模型进行定量分析的几种技术和方法。     

模糊Petri网的合成运算

模糊Petri网是Petri网的一个重要方向,该文将Petri网的合成运算拓展到模糊Petri网系统,定义了模糊Petri网的共享合成和同步合成,并利用子网的关联矩阵构造出合成Petri网的关联矩阵,简捷方便地刻画了模糊Petri网的合成运算特点。