基于时延Petri网的交通信号配时方案建模与分析

针对一般情况提出一个建立道路交叉口交通信号配时方案时延Petri网模型的方法.该方法将进入交叉口车流通行权的描述细化到了每一个行驶方向每一个转向,因此便于对系统模型各种性质进行分析以及适合将其作为基于Petri网的城市交通网络仿真模型的一个组成部分.讨论模型分析并针对一个实例给出了模型仿真运行的结果.     

基于混合Petri网的交叉口交通信号控制研究

为优化交叉口绿灯时间,根据交叉口交通流的动态属性和交通信号的离散属性,建立了城市交通网络中单交叉口信号控制的混合Petri网模型.用连续Petri网描述交叉口容量和交通流变化,用离散时延Petri网控制交叉口各个相位的交通信号,每个相位都有控制绿灯延长时间的Petri网模型.在执行了最短绿灯时间后,根据当前等待通过的车辆数,通过禁止弧对绿灯延长时间加以控制,以确定最佳绿灯时间.最后对该模型进行计算机仿真,仿真结果表明该方案对单一交叉口实现了更有效的控制.     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

基于Petri网的动态建模技术的研究

Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。     

基于对象Petri网的信息系统建模技术

针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。     

基于UML顺序图的Petri网建模

UEL（统一建模语言）是一种功能较强的面向对象图形建模工具，但其过程描述中缺乏严格的语义，而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来，阐述了UML类图、顺序图的Petri网建模转换方法，避免直接进行Petri网建模过程的烦琐，使建模过程清晰可见。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

面向对象的Petri网建模技术的研究

将面向对象的概念引入到Petri网建模技术中，对网进行分类与抽象，给对象模型的消息和方法赋予新的含义，并将Petri网扩展成具有输入与输出的开放式系统，从而形成了面向对象的Petri网建模技术（简称OPNe技术）。给出的OPNet建模技术的一般方法具有较大的实际意义。     

基于Petri网的计算机模拟研究

Ｐｅｔｒｉ网作为目前离散动态系统建模中最活跃的建模技术之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用,因而特别适合于模拟方面的研究．本文就以Ｐｅｔｒｉ网的建模方法和动态分析方法应用于供应链的模拟研究     

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

一种基于Petri网的可靠性分析方法

冲突和并发是Petri网的两种典型的行为,本文基于系统可靠性Petri网模型的逆模型和基于ECS的解冲突算法,得到一种新的求解单调关联系统最小割集的算法,另外,根据这一算法,能够获得与系统当前状态有关的所有可能的演化。     

一类受控Petri网的反馈控制综合方法

讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互 约束的形式给出。     

一种基于线性逻辑的时间Petri网推理方法

针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .     

基于Petri网的知识库维护方法的研究

Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。     

利用混杂Petri网对基于事件的机器人遥操作系统建模研究

针对采用基于事件思想的移动机器人遥操作系统，首次提出以混杂Petri网作为描 述工具进行建模，模型的离散部分利用传统的Petri网，对应于系统的操作者；连续部分利 用重新定义的便于描述微分代数方程的连续Petri网，对应于位于远端的移动机器人．     

一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

基于Agent的城市交通信号协同控制

应用Agent技术来解决城市交通信号的协同控制问题,采用模糊神经网络的推理机制生成信号的控制策略,并以此提出交通信号协同控制的模糊神经决策模型.该模型采用进化算法进行模糊规则的在线优化.     

间歇生产过程中离散事件的Petri网建模与协调控制

将Ｐｅｔｒｉ网用于间歇生产过程中离散事件的建模，讨论了离散事件活动的顺序、同步、资源共享竞争协调控制问题。文中同时给出了一个间歇精细化工过程的例。     

一类受控Petri网的反馈控制

受控Petri网是离散事件动态系统(DEDS)的一种控制理论模型.通过模型来研究实现禁止状态避免的最大允许反馈控制是DEDS控制理论中的一个重要课题.文中对受控Petri网的一个子类(非受控变迁子集的外延子网为TC网)讨论控制综合问题,给出求这类受控网中实现禁止状态避免的最大允许反馈控制的一个算法.     

基于再励学习与遗传算法的交通信号自组织控制

提出一种基于再励学习和遗传算法的交通信号自组织控制方法.再励学习针对每一个道路交叉口交通流的优化,修正每个信号灯周期的绿信比.遗传算法则产生局部学习过程的全局优化标准,修正信号灯周期的大小.这种方法将局部优化和全局优化统一起来,克服了现有的控制方法需要大量数据传输通讯、准确的交通模型等缺陷.