首页    期刊浏览 2024年11月28日 星期四
登录注册

文章基本信息

  • 标题: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
国家哲学社会科学文献中心版权所有