Title :
A modeling and verification method for intelligent networks services with Petri nets
Author :
Yuxiang, Ma ; Yanming, Liu
Author_Institution :
Sch. of Comput. Sci., Xidian Univ., Xi´´an, China
Abstract :
This paper introduces a specification of service logic based on the analysis of intelligent networks (IN) services and presents a model of the service specification that are related to concurrency and synchronization with Petri nets. The verification method of the models is also discussed. An example is given to illustrate the modeling and verification methods.
Keywords :
Petri nets; formal specification; formal verification; intelligent networks; synchronisation; telecommunication computing; telecommunication services; Petri nets; intelligent networks services; service logic specification; verification method; Business continuity; Computer science; Concurrent computing; Environmental management; Formal specifications; Intelligent networks; Logic design; Logic functions; Petri nets;
Conference_Titel :
Communication Technology Proceedings, 2003. ICCT 2003. International Conference on
Print_ISBN :
7-5635-0686-1
DOI :
10.1109/ICCT.2003.1209789
