Petri Net Modeling and Analysis of Mobile Communication Protocols UMTS, LTE, GPRS and MANET

Provided by: IJESIT
Topic: Security
Format: PDF
It is important that the design of communication systems is free of any errors in their operational behavior. Many formal methods have been used and employed that increase one's confidence in the design and provide the confidence that the design is error free. Due to the cost of applying formal methods, there is little upcoming standards that apply them for system verification and validation. Therefore, bridging the same gap by producing an executable formal model of communication systems through petri nets is the aim of this paper.

Find By Topic