可达性等价于状态方程可满足性的一个petri网子类

刘关俊陈黎静

a class of petri nets with equivalence of reachability and state equation satisfiability

Liu Guanjun and Chen Lijing

计算机工程与应用 . 2007, (11): 84 -86 .