摘要： State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri Nets. However,due to the state explosion, the complexity of this method increased exponentially

关键词: 正则Petri网 异步并发系统 发生率矩阵 满秩