| 无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质 |
| |
| 引用本文： | 赵义军,王培良. 无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质[J]. 系统仿真学报, 2003, 15(Z1): 53-55 |
| |
| 作者姓名： | 赵义军 王培良 |
| |
| 作者单位： | 山东科技大学基础部,泰安,271019 |
| |
| 基金项目： | 山东省自然科学基金(Y2002G09)及国家自然科学基金(60173053). |
| |
| 摘 要： | 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号ω,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.
|
| 关 键 词： | 无界时延混合Petri网 不变行为状态 可覆盖性演变图 动态性质 |
| 文章编号： | 1004-731X(2003)S1-0053-03 |
| 修稿时间： | 2003-06-14 |
Coverable Developing Graph and the Properties for Unbounded Timed Hybrid Petri Nets (UTHPN) |
| |
| ZHAO Yi-jun,WANG Pei-liang. Coverable Developing Graph and the Properties for Unbounded Timed Hybrid Petri Nets (UTHPN)[J]. Journal of System Simulation, 2003, 15(Z1): 53-55 |
| |
| Authors: | ZHAO Yi-jun WANG Pei-liang |
| |
| Abstract: | 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. |
| |
| Keywords: | unbounded timed hybrid Petri Net invariant behaviour state coverable developing graph dynamic Property |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
