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 355
- Downloads 7
Quality Of Service And Load Balancing For Data Center In Cloud
Cloud frameworks are not quite the same as normal dispersed frameworks. Above all else, they are branded by an extremely big numeral of resources that can distance different administrative domains. Presentation evalua...
Enabling Secure File Sharing On Untrusted Servers Using Mona
Identity privacy is one of the most important obstruction for the wide operation of cloud computing. Without the guarantee of identity privacy users may be reluctant to join in cloud computing systems since their rea...
Logo Matching And Recognition System Using Surf
Matching is an important part of a model based object recognition system. Matching is a difficult task because images do not present perfect data, noise and occlusions greatly complicate the task. Although no existin...
Scalable Probe Tool Design for Active Packet Loss Measurement using Geometric Distribution
Packet loss due to congestion is a fundamental problem in wide-area packet switched networks. Researchers have expanded much effort in characterizing this phenomenon and designing protocols that operate effectively in...
Load balancing and a Gossip protocol for dynamic resource allocation in cloud Environment
The new emerging cloud computing technology is providing various services to users and organizations. Now we are focusing on Infrastructure as a service which allows customers to use resource multiplexing through vir...