时间约束Petri网的可调度性分析方法研究.pdfVIP

第 15 卷 第 5 期 　控　制　与　决　策 2000 年 9 月 V o l. 15 N o. 5 CON TR OL 　A N D 　D E C IS ION 　 Sep t. 2000 时间约束 Petr i 网的可调度性分析方法研究 李慧芳　李人厚 (西安交通大学系统工程研究所　7 10049) 摘　要　在系统地研究了时间约束 P et r i 网的基础上, 提出了一般的状态可达性分析方法。通过讨论任 意拓扑结构 ′的可调度分析, 克服了以往 ′可达性分析方法的局限性, 显示了该方法的准 TCPN s TCPN s 确性和实用性。 关键词　时间约束 P et r i 网, P et r i 网, 可调度分析, 决策变量 分类号　T P 278 Stud ies on Schedulab il ity Ana ly sis M ethod of T im in g Con stra in t Petr i Nets , 　 L i H u fi ang L i R enh ou ( ′ ) X i an J iao tong U n iver sity Abstract 　A gen era l an a ly sis m ethod o f state reach ab ility is p ropo sed b a sed on sy stem at ica lly . ′ inve st igat ing t im ing con st ra in t P et r i n et s T h rou gh d iscu ssing sch edu lab ility an a ly sis o f TCPN s w ith , ′ any topo logy st ru ctu re th e lim itat ion o f ex ist ing reach ab ility an a ly sis m ethod abou t TCPN s is overcom e, th en th e veracity an d p ract icab ility o f p ropo sed m ethod are dem on st rated. Key words　t im ing con st ra in t P et r i n et s, P et r i n et s, sch edu lab ility an a ly sis, decision var iab le s 1　引　　言