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
A Hybrid Routing Protocol for Unobservable Security in Mobile Ad-hoc Networks
Security of mobile ad hoc network is crucial due to infra structure less network and mobility of wireless media. In this paper, we propose an Hybrid Routing Protocol for Unobservable Secured (HRPUS) to offer privacy...
Real-Time Face Detection System for Virtual Classroom Environment
In today’s fast paced world where human computer interaction systems are working towards becoming more user-friendly. Face detection has become an integral part of many of these systems. It also has varying range of...
Dg: Modeling Network Behavior for Static and Dynamic Websites
Internet services and applications have become an inextricable part of daily life, enabling communication and the management of personal information from anywhere. To accommodate this increase in application and data...
A New Frame Work and Technique For Earthquake Alert System
As an application, we develop a earthquake reporting structure for use in Japan. In perspective of the different shudders and the tremendous number of Twitter customers all through the country, we can recognize a tre...
Anti Phishing approach using Visual Cryptography and Iris Recognition
Phishing is a form of online identity theft. Phishing webpages are forged webpages created by malicious people that aim to steal sensitive information such as online banking passwords and credit card informations. Th...