DocumentCode
1609313
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
Volume
2
fYear
2003
Firstpage
1396
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Communication Technology Proceedings, 2003. ICCT 2003. International Conference on
Print_ISBN
7-5635-0686-1
Type
conf
DOI
10.1109/ICCT.2003.1209789
Filename
1209789
Link To Document