A Verification Method Based On Petri Net for Online Student Registration Web Service Composition
Journal Title: International Journal of Advanced Research in Computer Engineering & Technology(IJARCET) - Year 2013, Vol 2, Issue 5
Abstract
The Main area in Web service is the Web service composition which detects the composition before execution. Petri net or Place / Transition net is a mathematical modeling language used to describe the distributed systems. Deadlock can be detected through transitive matrix of Petri nets .This paper proposes a Web service model for students’ online registration and detects the deadlocks for various applications using Petri net transitive matrix. Simulation results indicate a better identification of deadlock.
Authors and Affiliations
A. Kumaravel
Keywords
Related Articles
- EP ID EP115204
- DOI -
- Views 87
- Downloads 0
Reliability Analysis of Nanoscale CMOS Device with HCI Effect
The paper focuses on the reliability due to hot carrier effects of CMOS and the HC effect under high gate voltage stress. How these stress factors vary with operating conditions, the required foundry qualification test d...
Multistage Implementation of 64x Interpolator
This paper presents the design consideration and simulation of interpolator suitable for delta sigma D/A converter. The proposed structure uses the half band filer & Sinc filter using the MATLAB Tool. Experim...
A Verification Method Based On Petri Net for Online Student Registration Web Service Composition
The Main area in Web service is the Web service composition which detects the composition before execution. Petri net or Place / Transition net is a mathematical modeling language used to describe the distributed...
Image Denoising using Dual-Tree Complex DWT and Double-Density Dual-Tree Complex DWT
Non-stationary signal processing applications use standard non-redundant DWT (Discrete Wavelet Transform) which is very powerful tool. But it suffers from shift sensitivity, absence of phase information, and poor directi...
Particle Swarm Optimization in Cryptanalysis of DES
In this paper for the first time Particle Swarm Optimization is applied in the field of cryptanalysis of DES based on their ability to selectively explore the solution space of a given problem. PSO is a robust stoc...