{"title":"基于Petri网模型的ISDN呼叫分析","authors":"K. Klaric, K. Pudar, J. Puksec","doi":"10.1109/EURCON.2001.938150","DOIUrl":null,"url":null,"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.","PeriodicalId":205662,"journal":{"name":"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)","volume":"100 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"ISDN call analysis by using Petri net model\",\"authors\":\"K. Klaric, K. Pudar, J. Puksec\",\"doi\":\"10.1109/EURCON.2001.938150\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":205662,\"journal\":{\"name\":\"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)\",\"volume\":\"100 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-07-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EURCON.2001.938150\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURCON.2001.938150","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
