论文部分内容阅读
提出了一种对电信业务流程建立基于着色Petri网模型的方法。该方法基于网元分层结构,使业务在建模后能方便地进行各业务的集成,从而可以进行业务间交互的离线检测。根据上述方法,应用CPN Tools作工具,对若干电信业务进行建模,并利用CPN Tools的仿真功能,对业务之间的冲突作了检测。该建模和仿真方法对业务冲突的离线检测有一定的参考价值。