Petri网系统的弱公平性判定.pdfVIP

2010年第3期 漳州师范学院学报(自然科学版) No．3．2010年 (总第69期) JournalofZhangztnouNormalUniversity(Nat．Sci．) GeneralNo．69 文章编号：1008．7826(2010)03-002705 Petri网系统的弱公平性判定 岳 昊 (漳州师范学院 计算机科学与工程系，福建 漳州363000) 摘 要：本文首先给出了一个Petri网系统的有效可重复向量的两个性质．随后，又给出了用有效可重复向量 判断Petri网系统弱公平性相关问题的一个充分必要条件．在一个Petri网系统中，任意的两个变迁ti，ti，则，j弱公 平依赖于li，当且仅当不存在这样的有效可重复向量X，使得 且荆 = 最后，用一个实例展示结论的应用 过程． 关键词：Petri网 ；弱公平性 ；可重复向量 中图分类号： TP393 文献标识码： A DeterminationoftheW eakFairnessinPetriNetSystems YUE Hno (DepartmentofComputerScienceandEngineering，ZhangzhouNormalUniversity，Zhangzhou，Fujian363000，China Abstract：Thispaperfirstly givestwo propertiesoftheeffective repetitivevectorsin aPetrinetsystem． Second，thesufficientandnecessarycondition，which isfordeterminingtheproblemsconcernweakfairnessina Petrinet，isproposed．Supposetiand aretwoarbitrarytransitionsinaPetrinetsystem．Themainconclusionis thattjweaklyfairdependsonti，ifand onlyifthete‘doesnotexistsuchaeffectiverepetitivevectorthatsatisfies x(i)oandxi《》=o．Finally，theapplicationsoftheconclusionsareillustratedwithanactualexample． Keywords：Petrinet；weakfairness；repetitivevector 1 引言 Petri网是一种系统描述和分析的工具，它尤其便于描述并发现象和模拟并行系统，在许多领域都有实 际应用¨。J．当用Petri网来模拟现实世界中的实际系统时，Petri网的公平性反映了被模拟系统的无饥饿性． 由于无饥饿性是系统运行过程中的一个重要性质，因此对公平性问题的研究在不断拓展和深入 ．应用公 平性及其相关概念与方法，解决实际系统中的实际问题的例子也有许多[5-61．Petri网的公平性 (fairness)概 念最早是由文献 提出的．文献 】对公平性概念进行了拓展，提出了弱公平性的有关概念，并给出了一个网 为弱公平网的一个充分必要条件． 然而，已有的关于Petri网弱公平性判定的结论和方法都是针对 Petri网的基网．本文是在文献 “Ⅲ提出 的基本概念的基础上，揭示出一个 Petri网系统的弱公平性判定同这个 Petri网系统的有效可重复向量之间 的内在联系． 2 基本概念、术语和记号 收稿 日期：2010—06—30 基金项目：国家自然科学基金资助项I~l；福建省教育厅资助科技项1~(JK2010037)；漳州师范学院博士科研启动 基金资助项 目． 作者简介：岳 ~：(1980一)，男，山东省菏泽市人，讲师，博士． 28 漳州师范学院学报 (自然科学版)