Abstract
This project work is concerned with application of Petri Net in protocol specification. In this project work, definition of Petri Nets and Protocols are given. The role and importance of formal specification techniques are also discussed. Petri Nets are a graphical tool and could be used for the formal description of the flow of activities in complex systems like protocol. It is gaining popularity in recent years as a tool for the representation of complex logical interactions like synchronization, sequence, concurrency and conflict among physical components or activities in the system. This project work presents a specification of a chosen protocol using Petri Net and implemented the specification using JAVA programming language. Conclusively, Petri net is shown to be 70% better than other formal protocol specification methods.
Contents
ABSTRACT The problem of plagiarism in Africa generally is growing at an alarming rate, especially… Read More
In order to successfully complete a project for your senior year, you will need to… Read More
List of Google scholar project topics Google Scholar is a convenient tool that enables users… Read More
If you lost money in a COTPS Ponzi scheme, you should talk to a lawyer… Read More
EXECUTIVE SUMMARY This synopsis is on the Growth and popularity of Naire Marley songs amongst… Read More