petri网可达性分析

分类号 密级 UDC 编号

中国科学院研究生院

硕士学位论文

Petri网系统的可达性研究

吴 文 渊

指导教师 杨 路 研究员

中国科学院成都计算机应用研究所

申请学位级别 硕 士 学科专业名称 计算机软件及理论 论文提交日期 论文答辩日期

培养单位 中国科学院成都计算机应用研究所 学位授予单位 中国科学院研究生院

答辩委员会主席

摘 要.........................................................................................................................

TCAD评价公交可达性

可达性（Accessibility）分析人们是否容易接近工作单位、服务机构和基础设施，通过公交到达特定地点所要花费的时间和费用。可达性受出行时间、出行费用，以及目的地的区位和服务小时等因素的影响。同时，它还与各人对服务和设施的了解程度、是否情愿选择某种出行方式、服务商和机构有关。可达性的规划十分重要，它需要最大限度地保证哪些需要使用公共交通的人们能较方便地接近工作单位，以及方便购物和看病。 可达性的指标主要有如下三种：

? 可达指标（Access Measures）：通达网络中最近服务点的费用。

? 门槛指标（Threshold Measures）：在一定的时间、距离和费用范围内到达终点的能力。 ? 连续指标（Continuous Measures）：对居住的吸引力，基于接近工作和服务的方便程度。

TransCAD 提供度量上述这些类型的可达性指标。

1. 可达性指标（Access Measures）

决定人们到达交通网络的所要付出的努力。例如，用户可能想知道一个地区65 岁以上老年人当中，能够在离家一里地的范围内步行到高频率公交服务的人数所占的比例。这些指标不直接处理网络的时间、距离或费用。

网络可达性（Networ

Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。

由于Petri网能够表达并发的事件，被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。

* 经典Petri网

经典的Petri网是简单的过程模型，由两种节点：库所和变迁，有向弧，以及令牌等元素组成的。

o Petri网的结构 (1) Petri网的元素：

+ 库所（Place）圆形节点 + 变迁（Transition）方形节点

+ 有向弧（Connection）是库所和变迁之间的有向弧

+ 令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。

(2) Petri网的规则是：

第29卷第1期

2014年1月自然资源学报Vol.29No.1Jan.,2014JOURNALOFNATURALRESOURCES

中国A级旅游景点空间分布特征与可达性

潘竟虎，李俊峰

（西北师范大学地理与环境科学学院，兰州730070）

摘要：以A级景点为例，基于GIS技术，通过最近邻指数、K指数、热点聚类等方法分析中

国2424个A级旅游景点的空间分布特征；运用栅格成本加权距离算法，计算中国A级旅游

景点的空间可达性，并测算县域单元的整体可达性；利用空间关联方法分析了县域可达性的

空间差异。结果表明：中国A级景点的空间分布总体上呈现出聚集分布的特点，所有景点的

平均可达时间为125.88min，60%的景点可达时间在90min以内；可达性在全国的分布差异

十分明显，可达性空间分布具有明显的交通指向性。景点的县域可达性呈强集聚格局，可达

性热点区域的分布呈现明显的热点—次热点—次冷点—冷点自东向西带状分布的格局。

关键词：空间结构；空间可达性；旅游景点；GIS；中国

文献标志码：A文章编号：1000-3037(2014)10-0055-12中图分类号：F592.7

DOI：10.11849/zrzyxb.2014.01.006

景点是由若干相关联的景物所构成、具有相对独

MVB网关技术、虚拟现实技术等

第3 2卷第 5期20 0 8年 1 O月Q

北

京

交

通

大

学

学

报

V 1 2N . 0. 。 5 3Oc .2 0 t 08

△ Q￡旦E! jI JN△0T DNG UNI VER I S TY

文章编号：6 3 0 9 (0 80—0 8 0 17—2 12 0}50 9—4

基于广义随机 P ti的 MV网络吞吐性能分析 er网 B王永翔，立德王(京交通大学电气工程学院，北北京 10 4 ) 0 04

摘

要：于 P t网模型的建模分析方法，多功能车辆总线网络的吞吐性能进行了分析 .先建基 er i对首

立了 MV B网络的广义随机 P t网( S N)型， er i GP模并逐步压缩和简化以便于分析 .后在随机离散之

有穷状态马尔可夫过程理论基础上，对该模型进行分析计算 .同时采用了随机 Pt网计算机辅助分 er i析软件 Tm N T建立模型和仿真 .出了 MV ie E给 B网络单纯过程数据的报文吞吐量，有效数据传输能力

和带宽利用率等性能参数 .结论指出广义随机 Pt网是对网络协议进行分析的有效工具. ei r 关键词：电气工程；多功能车辆总线；义随机 P t网模型；能分析；广 er i性仿真中图分类号： P 9

基于Petri网故障检测理论的综述

2016年1月16日

基于Petri网故障检测理论的综述

摘要：这篇综述主要介绍了Petri网的基本原理及其在电力系统中的应用。通过阅读数十篇有关Petri网在电力系统中应用研究方面的学术文献,介绍了Petri网在故障诊断、系统恢复等方面的论述。针对课堂上薛老师提出的“Petri网与专家系统的不同”问题，课下又进行了相应地论文研究，将其补充在报告中。Petri网在电力系统中的应用涉及面很广,在当今电力系统故障检测方面受到了比较普遍的重视。 关键字：Petri网；故障诊断；系统恢复

0 引言

电力工业是国民经济的重要支柱。电力系统的安全、稳定、经济运行一直是电力工作者所追求的目标。现代电力系统日趋大型化和复杂化，一旦系统发生事故，如何尽快判断故障，为故障解列和恢复供电提供依据，以减少停电损失，成为现在研究的重要课题。输电网络故障诊断主要是对各级各类保护装置产生的报警信息、断路器的状态变化信息以及电压电流等电气测量量的特征进行分析，根据保护动作的逻辑和运行人员的经验来推断可能的故障位置和故障类型。目前，人工智能技术由于其善于模拟人类处理问题的过程，在电力系统方面常用于推断可能的故障位置和故障类型，如：基

第35卷第12期2015年12月

地理科学

Vol.35No.12Dec.,2015

SCIENTIAGEOGRAPHICASINICA

县域农村居民点空间格局与可达性

——以江苏省射阳县为例

朱

彬1，尹

旭2，张小林3

(1.南通大学地理科学学院，江苏南通226000；2.中国人民银行泰州市中心支行，江苏泰州225300；

3.南京师范大学地理科学学院，江苏南京210023)

摘要：摘要基于全国第二次土地利用调查数据，借助GIS软件平台，运用核密度估算、最近邻距离指数、探索性空间数据分析、栅格成本加权距离算法等模型分析江苏省射阳县农村居民点空间格局与可达性。研究表明：在可达性成本上，镇中心半小时经济圈为5km，成本从中心沿公路网向外围呈增长态势；村中心半小时经济圈半径为1km，呈现“满天星”分布格局；耕作成本一般为5min，西部村庄可达性高于东部。在点格局上，农村居民点分布集聚，呈现“西密东疏”的空间格局特征。在规模空间格局上，农村居民点规模普遍较小，具有“太极”状结构。在可达性空间格局上，镇中心平均可达性呈现“双管”结构，高值区在射阳县西部和中部形成条带状分布；村中心平均可达性空间上类似“树枝”结构，呈现中西部高值集聚和东部低值连片分布的格局；耕作平均可达性

基于随机Petri网的云数据中心能耗感知调度研究与性能分析

摘 要：随着云计算的广泛应用，云数据中心的节能问题也获得越来越多的关注。虽然，许多研究针对云数据中心的能耗问题提出了相关的调度策略与节能技术，但很少有人关注如何有效的对云数据中心的能耗问题进行建模与性能评价。性能评价可以在云服务供应商的成本-收益与基于服务水平协议（SLA）定义的服务质量（QoS）之间找到一个合适的权衡点，又能研究虚拟化技术对云数据中心性能的影响。在本文中，在考虑资源多样性和虚拟机迁移的前提下，我们以优化能耗为目标提出了一个能耗感知虚拟机迁移算法。此外,我们还通过引入动态可扩展随机Petri网（DSSPN）对云数据中心的重要性能指标进行随机建模和性能分析。接着，我们定义了一些性能参数来评价模型中在不同运行时间和机器数量下的任务积压、吞吐量、资源利用率和能耗。最后，我们使用SPNP方针出这些性能参数的解析解。分析结果表明，DSSPN适用于建模和评价复杂的云系统，并有利于分析优化云数据中心的性能。

关键词：云计算；随机Petri网；服务质量；节能；性能评价

概述

云计算是一种按需提供服务的商业计算范式，能基于互联网为用户提供便捷、灵活的访问，进入可配臵的共享资源池（包括网络、服

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛

　2004年7月

系统工程理论与实践第7期　

文章编号:100026788(2004)0720059207描述离散动态系统的集合标识Petri 网:ST PN s

刘玉坤,石　伟,张晓萍,陈昌祥

(清华大学机械工程系,北京100084)

摘要:　基于经典Petri 网,进行了标识和语义扩展,定义了集合标识Petri 网(Set 2TokenS Petri N ets ,

ST PN s )Λ在定义ST PN s 时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照

属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri 网规模随着标识规模的增大而膨胀

的矛盾Λ在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和

结点函数等扩展ΛST PN s 增强了Petri 网描述离散事件动态系统(D ED S

学术 STUDY我国烟草的专卖制度及烟草的地域性， 导致物流成本难以控制。烟草物流配送管理的技术和方法落后， 也是影响烟草物流发展的重要因素。基于Ｐｅｔｒｉ网的烟草物流配送流程设计　　　　■文／刘守臣　　 兰向春在我国，烟草物流已成为近年 来国内发展较快的行业之一。作为 社会物流的一个重要组成部分，搞 好烟草物流，对于促进国民经济健 康稳定发展，有着十分重要的意 义。伴随着烟草物流规模的不断扩 大，烟草物流的效率问题也变得越 来越突出，尤其重要的环节是在烟 草物流配送的运作上。Ｐｅｔｒｉ网的建模过程分析，Ｐｅｔｒｉ网对 配送过程事件的描述方面独具一格， 主要体现在Ｐ ｅ ｔ ｒ ｉ 网的以下优点： Ｐｅｔｒｉ网采用图形建模方法，使物流 操作单元的描述更具直观性，同时强 调了物流部门之间有效衔接；Ｐｅｔｒｉ 网至少可用四种元素（库所、变迁、 弧和托肯），来充分描述配送系统的 静态和动态行为。还能够在不同的抽 象级别变换描述，亦即可以从顶向 下，或从下到上进行模型的分解和综 合；Ｐｅ ｔｒｉ网特有的动态模型适宜于 描述系统状态的改变，特别擅长描述 分析、并发、资源争用、同步的系 统，而配送系统一般都有并发和同步 的特性。描述系统内部的物流。 Ｐ