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 条
  • [41] Approaching Web service coordination and composition by means of Petri nets.: The case of the Nets-within-Nets paradigm
    Alvarez, P
    Bañares, JA
    Ezpeleta, J
    SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS, 2005, 3826 : 185 - 197
  • [42] Composition of software artifacts modelled using Colored Petri nets
    da Silva, LD
    Perkusich, A
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (1-2) : 171 - 189
  • [43] Colored Petri Nets to Model Gene Mutation Classification
    Yang, Jinliang
    Gao, Rui
    Meng, Max Q. -H.
    Tarn, Tzyh-Jong
    PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 5077 - 5082
  • [44] Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets
    Du, Yanhua
    Tan, Wei
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (02) : 594 - 606
  • [45] Report on the Model Checking Contest at Petri Nets 2011
    Kordon, Fabrice
    Linard, Alban
    Buchs, Didier
    Colange, Maximilien
    Evangelista, Sami
    Lampka, Kai
    Lohmann, Niels
    Paviot-Adet, Emmanuel
    Thierry-Mieg, Yann
    Wimmel, Harro
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 169 - 196
  • [46] Action Planning for Directed Model Checking of Petri Nets
    Edelkamp, Stefan
    Jabbar, Shahid
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 149 (02) : 3 - 18
  • [47] Model checking in object-oriented Petri nets
    Rodrigues, CL
    Guerrero, DDS
    de Figueiredo, JCA
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4977 - 4982
  • [48] Petri Nets Model for Service Engineering
    Liu, Chuanxi
    2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS ( ICAL 2009), VOLS 1-3, 2009, : 632 - 637
  • [49] Towards TCTLhΔ model checking of Time Petri Nets
    Chtourou, Ameni
    Sbai, Zohra
    2016 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2016, : 563 - 568
  • [50] Parametric Model-Checking of Stopwatch Petri Nets
    Traonouez, Louis-Marie
    Lime, Didier
    Roux, Olivier H.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (17) : 3273 - 3304
12345