Liveness characterization for GFC systems (Ⅱ)

被引：0
作者：
曹存
机构：
[1] China
[2] Institute of Computing Technology
[3] Beijing 100080
[4] Chinese Academy of Sciences
来源：
ScienceinChina(SeriesE:TechnologicalSciences) | 1996年 / 02期
关键词：
free-choice net; liveness; generalized free-choice net;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques which may be useful for proving liveness of other types of net systems are also introduced.
引用
收藏
页码：206 / 216
页数：11
相关论文
共 50 条
  • [1] Liveness characterization for GFC systems(Ⅰ)
    曹存根
    Science in China(Series E:Technological Sciences), 1996, (02) : 196 - 205
  • [2] Liveness characterization for GFC systems .1.
    Cao, CG
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 39 (02): : 196 - 205
  • [3] Liveness in Interaction Systems
    Majster-Cederbaum, Mila
    Martens, Moritz
    Minnameier, Christoph
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 215 : 57 - 74
  • [4] Systems Level Liveness with Extempore
    Sorensen, Andrew
    Gardner, Henry
    PROCEEDINGS OF THE 2017 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD!'17), 2017, : 214 - 228
  • [5] Liveness in timed and untimed systems
    Segala, R
    Gawlick, R
    Sogaard-Andersen, J
    Lynch, N
    INFORMATION AND COMPUTATION, 1998, 141 (02) : 119 - 171
  • [6] On the refinement of liveness properties of distributed systems
    Attie, Paul C.
    FORMAL METHODS IN SYSTEM DESIGN, 2011, 39 (01) : 1 - 46
  • [7] On the refinement of liveness properties of distributed systems
    Paul C. Attie
    Formal Methods in System Design, 2011, 39 : 1 - 46
  • [8] A complete characterization of deterministic regular liveness properties
    Niessner, Frank
    Ultes-Nitsche, Ulrich
    THEORETICAL COMPUTER SCIENCE, 2007, 387 (02) : 187 - 195
  • [9] Deadlock and liveness characterization for a class of generalized Petri nets
    Liu, Miao
    Wang, ShouGuang
    Zhou, MengChu
    Liu, Ding
    Al-Ahmari, Abdulrahman
    Qu, Ting
    Wu, NaiQi
    Li, ZhiWu
    INFORMATION SCIENCES, 2017, 420 : 403 - 416
  • [10] On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems
    Yang, Benyuan
    Hu, Hesuan
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2024, 54 (12): : 7495 - 7507
12345