ISDN call analysis by using Petri net model

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.