A modeling and verification method for ingtelligent networks services with Petri nets

MA Yu-xiang;LI Yuan-jun;LIU Yan-ming
J4 . 2004, (2): 194 -198 .