Petri网变换的代数运算简化和精化| IEEE期刊和杂志| IEEE Xplore