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

摘要：

时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文”1”中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号ω,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.

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

作者: 赵义军 王培良

作者单位: 山东科技大学基础部(泰安)

会议类型: 国内会议

会议名称: 第九届全国Petri网学术年会

会议地点: 杭州

会议语种:中文

页码: 53-55

在线出版日期: 2003-09-01（万方平台首次上网日期，不代表论文的发表时间）