无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质  

Coverable Developing Graph and the Properties for Unbounded Timed Hybrid Petri Nets (UTHPN)

作　　者：赵义军[1] 王培良[1] 

机构地区：[1]山东科技大学基础部,泰安271019

出　　处：《系统仿真学报》2003年第z1期53-55,共3页Journal of System Simulation

基　　金：山东省自然科学基金(Y2002G09);国家自然科学基金(60173053)。

摘　　要：时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号w,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.Timed Hybrid Petri Net(THPN),one of the Hybrid Petri Net models, were first put forward by David ,and an efficient way for analyses of THPN properties is the construction of the THPN developing graph. Zhao et al. have given in [1] the generating method of developing graph and property analysis for bounded THPN, but the developing graph of UTHPN can not be constructed by the same method. In this paper, the generating method of coverable developing graph for UTHPN is given by presuming on the symbol w of unbounded quantity, by means of which, the related properties of UTHPN have been discussed.

关 键 词：无界时延混合Petri网 不变行为状态 可覆盖性演变图 动态性质 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]