用着色Petri网不变量守恒变换检测和处理电信系统业务特性交互作用 - 陆以勤; 韦岗; 贺前华 (Tongxin xuebao)