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

Enhancing Data Storage Integrity in Cloud Environment by mitigating Repudiation using CS-MPNR

Cloud computing is envisioned as the next generation architecture of IT organisation. It makes the users need of their data to be available wherever they are. Although recent emerging technology Cloud has many striking f...

A Study of Decision Support System (With reference to Indian Retail Industry) 

The retail sector was one of the first sectors to make significant investments in collecting and integrating customer data in data warehouses. Retailers have generally earned a significant return on their IT system...

IMPLEMENTATION OF MOBILE TARGET DETECTION IN WIRELESS SENSOR NETWORKS 

Through wireless sensor networks, the surveillance applications are considered where has to choose one path between a set of candidate sites where to place sensors in order to identify mobile targets traversing a p...

Secured Intersection based Geographical Routing Protocol for VANET

Abstract—To achieve efficient routing protocol for vehicular ad hoc networks (VANETs) existing system employs intersectionbased Geographical Routing Protocol (IGRP) in city environments. IGRP is based on an effective...

Etching of Metallic & Dielectric Films in VLSI Technology  

In the present paper we discuss the isotropic etching of various films such as Aluminum, Titanium, Silicon dioxide& Silicon Nitride The second section of this paper contains anisotropic etching of Silicon using...

Download PDF file
  • EP ID EP115204
  • DOI -
  • Views 69
  • 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