Title :
ISDN call analysis by using Petri net model
Author :
K. Klaric;K. Pudar;J. Puksec
Author_Institution :
Res. & Dev. Center, Ericsson Nikola Tesla, Zagreb, Croatia
fDate :
6/23/1905 12:00:00 AM
Abstract :
The introduction of new services, flexible charging in integrated service digital network (ISDN), and call analysis based on Petri nets is described. By obtaining the Petri net simulation and results analysis in early design phases for formal verification, some potential deadlocks and possible conflict activities can be discovered and avoided. Simulation and analysis were performed using the DaNAMiCS tool.
Keywords :
"ISDN","Telecommunication traffic","Traffic control","Communication networks","Telephony","Analytical models","Intserv networks","Communication industry","3G mobile communication","Formal verification"
Conference_Titel :
EUROCON´2001, Trends in Communications, International Conference on.
Print_ISBN :
0-7803-6490-2
DOI :
10.1109/EURCON.2001.938150
