可达性 可达性是Petri网的最基本的动态性质，其余各种性质都要通过可达性来定义定义2.1.设PN=(P,T;F,M)为一个Petri网。 如果存在tT，使M[t>M’，则称M’为从M直接可达的 如果存在变迁序列t1,t2,t3,,tk和标识序列M1,M2,M3,,Mk使得M[t1>M1[t2>M2,,Mk-1[tk>Mk则称Mk为...
<正>甬剧《典妻》自2002年6月首演至今已经九年余,此时回头再看《典妻》,别有一番滋味,对于它的价值,也有了一番新的认识。笔者以为,甬剧《典妻》确有价值,并且有很高价... 周来达 - 《戏曲研究》 被引量: 1发表: 2012年 小剧种唱出了"大戏"——看甬剧《典妻》如何实现突破(上) 前不久,宁波市艺术剧院...