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 条
  • [1] Web service composition verification based on symbol model checking and Petri nets
    Zhang, Shijie
    Xu, Peng
    Xu, Yang
    DEVELOPMENTS OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN COMPUTATION AND ROBOTICS, 2020, 12 : 309 - 316
  • [2] Optimal Web service composition algorithm based on colored Petri nets
    Li, Xiao-Yan
    Zhang, Xiao-Song
    Fang, Min
    Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2010, 32 (02): : 415 - 418
  • [3] Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets
    Han, Yaojun
    Luo, Xuemei
    2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PROCEEDINGS, 2009, : 659 - 663
  • [4] Hierarchical Colored Petri Nets Based Modeling and Analyzing for Web Service Composition
    Zhu, Lianzhang
    Sun, Lianxia
    MATERIALS, MECHATRONICS AND AUTOMATION, PTS 1-3, 2011, 467-469 : 1206 - 1211
  • [5] Web Service Interaction Modeling with Colored Petri Nets
    Gozhyj, Aleksandr
    Kalinina, Irina
    Gozhyj, Victor
    Vysotska, Victoria
    PROCEEDINGS OF THE 2019 10TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS - TECHNOLOGY AND APPLICATIONS (IDAACS), VOL. 1, 2019, : 319 - 323
  • [6] Modeling and verifying web service composition using colored Petri nets based on WSCI
    Deng, Xinguo
    Lin, Ziyu
    Cheng, Weiqing
    Xiao, Ruliang
    Li, Ling
    Fang, Lina
    2007 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1-4, 2007, : 1863 - 1867
  • [7] Modeling web service choreography and orchestration with colored Petri nets
    Deng, Xinguo
    Lin, Ziyu
    Cheng, Weiqing
    Xiao, Ruliang
    Fang, Lina
    Li, Ling
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 2, PROCEEDINGS, 2007, : 838 - +
  • [8] A Colored Petri Net Model for NFP Driven Web Service Composition
    Dasgupta, Moitreyee
    Santra, Debarpita
    Bhattacharya, Adrija
    Choudhury, Sankhayan
    2014 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2014, : 782 - 787
  • [9] An Extended Colored Petri Net based Model for Web Service Composition
    Li, JingXia
    Zhao, HuiJuan
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES 2010), 2010, : 155 - 159
  • [10] Analyzing Web Service Choreography Specifications Using Colored Petri Nets
    Caliz, Enrique
    Umapathy, Karthikeyan
    Sanchez-Ruiz, Arturo J.
    Elfayoumy, Sherif A.
    SERVICE-ORIENTED PERSPECTIVES IN DESIGN SCIENCE RESEARCH: 6TH INTERNATIONAL CONFERENCE, 2011, 6629 : 412 - 426
12345