• DocumentCode
    3783699
  • 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
  • Volume
    2
  • fYear
    2001
  • fDate
    6/23/1905 12:00:00 AM
  • Firstpage
    408
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    EUROCON´2001, Trends in Communications, International Conference on.
  • Print_ISBN
    0-7803-6490-2
  • Type

    conf

  • DOI
    10.1109/EURCON.2001.938150
  • Filename
    938150
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3783699