广义Petri网中防止死锁的相关虹吸的可控性| IEEE期刊和杂志| IEEE Xplore