文章基本信息

标题：A Verification Method Based On Petri Net for Online Student Registration Web Service Composition
本地全文：下载
作者：A.Kumaravel ; M.Merlin Mexa
期刊名称：International Journal of Advanced Research in Computer Engineering & Technology (IJARCET)
印刷版ISSN：2278-1323
出版年度：2013
卷号：2
期号：5
页码：1663-1669
出版社：Shri Pannalal Research Institute of Technolgy
摘要：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.
关键词：Web Service; Petri Net; Transitive Matrix; ; Deadlock Detection