基于延迟特性的改进随机Petri网建模与分析.pdfVIP

第 42卷 第 3期 计 算 机 科 学 Vo1．42No．3 2015年 3月 Computer Science Mar2O15 基于延迟特性的改进 随机 Petri网建模与分析 刘君强 。 左洪福 彭智勇。 (南京航空航天大学民航学院 南京210016) (武汉大学计算机学院 武汉430072) 摘 要 随机 Petri网能够分析过程中的随机特性，但是不能有效地描述延迟和花费问题。为了解决上述 问题，提 出 了一种基于延迟特性的随机 Petri网模型。该模型能根据延迟时间和过程 的随机性得到总的时间和花费特性 。给 出 了状态类延迟时间和延迟花费的串联及并联化简方法。最后，通过首都机场的实例说明该方法能更好地表示 出应急 救援的时间和花费特性。 关键词 延迟特性 ，随机 Petri网，应急救援 中图法分类号 TP311 文献标识码 A DOI 10．11896／j．issn．1002—137X．2015．3．036 ModelingandAnalysisofImprovedStochasticPetriNetBasedonDelayCharacteristics IdU Jun-qiang’。 ZUO Hong-fu PENG Zhi-yong。 (CollegeofCivilAviation，NanjingUniversityofAeronauticsandAstronautics，Nanjing210016，China) (ComputerSchool，W uhanUniversity，Wuhan430072，China) Abstract Random characteristicscanbeanalyzedbystochasticPetrinet，butdelaytimeanddelaycostproblem cannot becomputedbystochasticPetrinet．Inordertosolveaboveproblem。astochasticPetrinetmodelbasedondelaycharac teristicswasproposed．Thedelaytimeanddelaycostwereanalyzedusingthemodelproposedinthispaper．Theserial andparallelsimplificationmethodaboutdelaytimeanddelaycostwerestudied．Finally，anexampleofthecapitalairport showsthatthemethodcanrepresenttheemergencyrescuetimeandcostcharacteristicsbetterthantraditionalone． Keywords Delaycharacteristics，StochasticPetrinets，Emergencerescue 性 。 1 引言 目前的形式化验证方法的不足是没有考虑到Web服务 面向服务计算 SOC(ServiceOrientedComputing)_1是一 的延迟特点，并且由于有色Petri网缺乏时间信息而无法对组 种基于 Internet的全新计算模式。Gartne预测 ，到 2016年 ， 合服务的性能进行准确的分析。美国HP公司研究表明，普 面向服务的体系架构将成为8O 开发项 目的基础，它将结束 通的Web用户通常不会忍受超过 8～10秒的等待时间 ]； 传统的整体软件体系架构长达 4O年的统治地位，成为 占有绝 Zona研究中心 的统计表明，一个 电子商务网