着色petri网的模拟工具。没什么可说的，需要的人自然明白。