期刊文献+

公平Petri网中同步距离计算的一个实现算法 被引量:1

An Algorithm of Computing Synchronic Distance in Fair Petri Nets
下载PDF
导出
摘要 同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广(可覆盖)树的概念。在原网系统的可覆盖的基础上构造出一个增广(可覆盖)树,通过增广(可覆盖)树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。 The synchronic distance is not only an analyzing metric to describe the synchronic relationship between two events, but also a tool to representing dynamic behavior of systems. A method of getting synchronic distance in fair Petri net is presented in this paper, the principle of which adopts observe-place. Weighted net system with observe-place (SWNet) is constructed based on original Petri net by introducing suitable weight value for an arc between transition and observe-place, the concept of augumented (coverability) tree is introduced simultaneously. A augumented (coverability) tree is constructed based on coverability tree of original net system, by means of which, initial tokens of observe-place is obtained. Finally the algorithm of setting initial marking of observe-place and computing synchronic distance are given.
出处 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期16-20,共5页 Journal of System Simulation
基金 国家自然科学基金(60673053 60603090) 山东省优秀中青年科学家奖励基金(2006BS01019)。
关键词 PETRI网 加权同步距离 观察库所 带观察库所的加权网系统SWNet 增广(可覆盖)树 Petri net weighted synchronic distance observe-place weighted net system with observe-place SWNet augumented (coverability) tree
  • 引文网络
  • 相关文献

参考文献7

  • 1Petri C A. Interpretations of Net Theory.ISF-Report75-07, GMD, St. Augustin, ER.G, 1975.
  • 2Murata T. Petri nets: Properities, Analysis and Applications [J]. In: Proc. of the IEEE, 1989, 77(4).
  • 3张军明 吴哲辉.标识S图中同步距离的计算[J].东南大学学报,1995,(5).
  • 4张金泉,倪丽娜,蒋昌俊.Petri网的同步距离计算[J].计算机科学,2005,32(12):138-141. 被引量:3
  • 5Murata T, Wu Zhehui. Fair Relation and Modified Synchronic Distances in a Petri Net [J]. Journal of the Franklin Insitute, 1985, (2).
  • 6王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量:21
  • 7袁崇义.出现网的同步距离[J].应用数学学报,1984,(10).

二级参考文献14

  • 1顾冠群,姜爱泉,罗军舟.基于Petri网的协议并行化处理模型的描述和验证[J].计算机学报,1996,19(11):867-870. 被引量:3
  • 2J Frankl Institure,1985年,320卷,2期,63页
  • 3吴哲辉,1984年
  • 4吴哲辉,1983年
  • 5PetersonJ 吴哲辉译.Petri net theory and the modeling of systems[M].徐州:中国矿业大学出版社,1989..
  • 6Ezpeleta J,Colom J M,Martinez J.A Petri net based deadlock prevention policy for Flexible Manufacturing Systems.IEEE Transactions on Robotics and Automation,1995,11 (2).
  • 7ShanZ G,Lin C,Ren F Y,et al.Modeling and Performance Analy sis of a Multiserver Multiqueue System on the Grid.In:Proc.of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'03),2003.
  • 8Petri C A.Interpretations of net theory.Second Edition.St.Augustin:Gesellschaft fur Mathematik und Datenverarbeitung Bonn,1976.
  • 9Murata T.Petri nets:Properties,Analysis and Applications.In:Proc.of the IEEE,1989,77(4).
  • 10袁崇义.出现网的同步距离[J].应用数学学报,1984,(10).

共引文献24

同被引文献71

引证文献1

二级引证文献7

;
使用帮助 返回顶部