在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型.对如何用Petri网表示具有复合事件ECA规则进行了专门分析.提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性.通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理

用Petri网方法对一个生物医学循环系统进行分析,详细描述了循环系统的各个状态及转移关系,并给出了Petri网分析离散事件系统的步骤与方法,最后通过微机对系统进行实时控制

在延时Petri网的基础上,提出一种更适合生产计划模拟的扩展延时Petri网(E-TPN)。将它与专家系统相结合,设计并建立了生产计划专家模拟系统,借助于该系统对生产计划进行模拟运行和优化,能得到较优的利于调整的计划

给出了一个多Agent松散耦合的网格服务发现框架.在该框架中把Agent分为三类:服务Agent、需求Agent和服务发现Agent.提出以模糊Petri网作为服务描述语言的规范,用以发布或请求服务,用可能性变迁表示一个服务或一个需求,输入库所代表在提供(或请求)服务前需要成立的前提条件,输出库所表示提供(或获得)服务后成立的条件,用可能性与必然性来量化一个服务Agent能对一个请求提供相关服务的信心程度.最后基于本体论给出了一个支持部分匹配的服务匹配算法,并用一个车辆维修服务系统的例子进行了说明

• 网络优化是运筹学中的一个重要分支，所研究的问题涉及经济管理、交通运输、计算机科学与信息技术、通讯与网络技术等诸多领域。在现实生活中，诸如最短路问题、运输问题、指派问题、中国邮递员问题、旅行商问题等都是网络优化的问题。 • 由于多数网络优化问题是以网络上的流为研究对象，因此，在图论中一般只涉及网络流问题。 • 4.1 网络流与截集 • 4.2 最大流问题及其解法 • 4.3 最小费用流算法 • 4.4 Petri网

【智能系统】物联网中的智慧溯源服务系统Petri网建模与分析

【智能系统】基于面向对象时间Petri网的智能电商物流服务系统建模

形式化方法、案例 一．概述 二．有穷状态机 三．Petri网

11.1 连通度与块 11.2 网络最大流 11.3 图与二分图的匹配 11.4 独立集，覆盖 11.5 Petri网

课程主要内容： •离散事件系统建模与仿真的基本原理 •离散事件系统建模与仿真的方法 •Petri网建模与仿真 课程的先修课程： •生产运作与管理 •运筹学 •计算机编程与应用技术 •概率论与数理统计 课程的考核方法： 完成相关作业及期末考核。 第一章 离散事件仿真的概述 1.1 离散事件系统仿真的基本概念 1.2 生产系统仿真的特征 1.3 服务系统仿真的特征 1.4 离散系统仿真的基本步骤 第二章 离散事件仿真的分析 2.1 随机数的产生 2.2 离散事件仿真建模 2.3 输入数据分析 2.4 输出数据分析 第三章 离散事件仿真的案例分析 第四章 离散事件仿真的逻辑分析 ——Petri网