A Verification Method Based On Petri Net for Online Student Registration Web Service Composition  

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

Design and implementation of low power 16 bit ALU with clock gating  

The ALU is one of the most frequently accessed modules in a CPU and is utilized during most instruction executions. Hence the power consumption of the ALU is a major concern.In this paper a low power 16 bit ALU is...

Improving authentication mechanism for using extended public key cryptography in mobile adhoc network  

Mobile ad hoc network is a special kind of wireless networks formed without any centralized administration. It is a collection of mobile nodes without having aid of establish infrastructure. In mobile ad hoc networ...

Data mining approach to evaluate the data lossless Data Compression algorithms  

: This paper presents a study of various lossless compression algorithms; to test the performance and the ability of compression of each algorithm based on ten different parameters. For evaluation the compression r...

Real Time Static Hand Gesture Recognition System in Simple Background for Devanagari Number System

Hand gesture recognition is one of the key techniques in developing user-friendly interfaces for human-computer interaction. Static hand gestures are the most essential facets of gesture recognition. User independence is...

Efficient and Reliable Resource Management Framework for Public Cloud Computing

The problem of dynamic resource management for a large-scale cloud environment is mitigated with optimized high throughput performance. The resource management framework consists of, Gossip protocol that ensures fair res...

Download PDF file
  • EP ID EP115204
  • DOI -
  • Views 86
  • Downloads 0

How To Cite

A. Kumaravel (2013). A Verification Method Based On Petri Net for Online Student Registration Web Service Composition  . International Journal of Advanced Research in Computer Engineering & Technology(IJARCET), 2(5), 1663-1669. https://europub.co.uk/articles/-A-115204