A Review Paper on Colored Petri Nets and their Application in Protocol Verification
Journal Title: International Journal of Research in Computer and Communication Technology - Year 2013, Vol 2, Issue 8
Abstract
Colored Petri Nets is a graphical oriented language for design, verification and validation of systems. It is mainly used in systems where concurrency, communication and synchronisation are important. This paper is an attempt to review colored petri nets along with their various properties and applications. A brief introduction to Protocol Engineering and at what stage Colored Petri Nets are used in Protocol Engineering is also presented.
Authors and Affiliations
RichaAgarwal, Ashish Jain
Keywords
Related Articles
- EP ID EP27623
- DOI -
- Views 333
- Downloads 7
Measures To Enforce Safety In Digital Libraries
The Digital Library System is an Innovation in Library Service.It is prone to Onslaughts of sabotage by Bibliophiles, Bibliophobes and Biblioklepts all alike the system itself inherent facilities which render it susce...
A Novel Virtual Grounding Based Read-Error Reduction Technique in SRAM
In this paper we are going to modify the Schmitt Trigger based SRAM for the purpose of more reduced power & area than the existing type of designs as well as the new design which is combined of virtual grounding with...
Reduced Power In Processor Cache Using New Cache Architecture
In recent years, many high-performance microprocessors employ cache write-through policy for performance improvement. Multi-core chips also allow higher performance at lower energy. A multi-core processor implements...
Discretion Sustaining Location-Based Provision Etiquette for K-NN Search
A large number of individuals speak with their surroundings through their companions and their proposals utilizing Mobile gadget applications, for example, four square. However without legitimate security assurance,...
A Review of Various Techniques of Web Content Mining For HTML and XML Contents
World Wide Web is the largest source of information. Most of the data on the web is dynamic and is in unstructured form. It is becoming difficult to get the relevant data from the web. Data Mining is the field of com...