Text this: 用着色Petri网不变量守恒变换检测和处理电信系统业务特性交互作用