利用改进可达树检查一库所无界Petri网的死锁

汤利杰卢从慧郭大江

Realization of the Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees

Tang Lijie Lu Conghui Guo Dajiang

. 2012, (1、2): 0 -0 .