Extension of model checking tool of colored Petri nets and its applications in web service composition

被引：0
|
作者：
Men, Peng [1 ]
Duan, Zhenhua [1 ]
机构：
[1] Institute of Computing Theory and Technology, Xidian University, Xi'an 710071, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2009年 / 46卷 / 08期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1294 / 1303
相关论文
共 50 条
  • [21] AI planning for web service automatic composition using Petri nets
    Ding, Zhijun
    Wang, Junli
    Song, Hong
    PROCEEDINGS OF THE 2007 11TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2007, : 519 - +
  • [22] VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS
    Xu, Na
    Peng, Suping
    Wang, Zhangang
    JOURNAL OF WEB ENGINEERING, 2017, 16 (1-2): : 145 - 160
  • [23] Automatic Web service composition based on Horn clauses and Petri nets
    Tang, Xianfei
    Jiang, Changjun
    Zhou, Mengchu
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 13024 - 13031
  • [24] An approach of Web service discovery and composition based on logic Petri nets
    Deng, ShiYang
    Du, Yuyue
    ADVANCED DESIGNS AND RESEARCHES FOR MANUFACTURING, PTS 1-3, 2013, 605-607 : 2351 - +
  • [25] Implementing model checking and equivalence checking for time petri nets by the RT-MEC tool
    Bystrov, AV
    Virbitskaite, IB
    PARALLEL COMPUTING TECHNOLOGIES, 1999, 1662 : 194 - 199
  • [26] Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets
    Entezari-Maleki, Reza
    Etesami, Sayed Ehsan
    Ghorbani, Negar
    Niaki, Arian Akhavan
    Sousa, Leonel
    Movaghar, Ali
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (03): : 947 - 961
  • [27] TransCPN - Software Tool for Transformation of Colored Petri Nets
    Mikolajczak, Boleslaw
    Singh, Abhishek
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 211 - 216
  • [28] Colored Petri nets with its applications in modeling military command and control systems
    Cao, Qun
    Mao, Zhangyan
    1600, Systems Engineering Society of China, China (20):
  • [29] The performance analysis of web service composition based on timed colored petri net
    Tian, B. (ngdtbj@126.com), 1600, Academy Publisher (08):
  • [30] LTL model checking for modular Petri nets
    Latvala, T
    Mäkelä, M
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 298 - 311
12345