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 条
  • [31] Petri nets, traces, and local model checking
    Cheng, A
    THEORETICAL COMPUTER SCIENCE, 1997, 183 (02) : 229 - 251
  • [32] Model Checking Reconfigurable Petri Nets with Maude
    Padberg, Julia
    Schulz, Alexander
    GRAPH TRANSFORMATION, 2016, 9761 : 54 - 70
  • [33] TCTL Model Checking of Time Petri Nets
    Boucheneb, Hanifa
    Gardey, Guillaume
    Roux, Olivier H.
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1509 - 1540
  • [34] Sequential and distributed model checking of Petri nets
    Bell A.
    Haverkort B.R.
    International Journal on Software Tools for Technology Transfer, 2005, 7 (1) : 43 - 60
  • [35] Petri Nets, traces, and local model checking
    Cheng, A
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 322 - 337
  • [36] Model checking of Signal Interpreted Petri Nets
    Weng, XY
    Litz, L
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2748 - 2752
  • [37] CTL* model checking for time Petri nets
    Boucheneb, H
    Hadjidj, R
    THEORETICAL COMPUTER SCIENCE, 2006, 353 (1-3) : 208 - 227
  • [38] Reliability Analysis of Web Service Composition based on Generalized Stochastic Petri Nets
    Bao, Xiaoan
    Zhang, Xiaowen
    Hu, Zhuhua
    Yao, Lan
    2011 AASRI CONFERENCE ON APPLIED INFORMATION TECHNOLOGY (AASRI-AIT 2011), VOL 1, 2011, : 339 - 342
  • [39] Extended Simple Colored Petri Nets: A tool for plant simulation
    Camurri, A
    Coglio, A
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2909 - 2914
  • [40] MCC: A Tool for Unfolding Colored Petri Nets in PNML Format
    Dal Zilio, Silvano
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 426 - 435
12345