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 条
  • [31] On the state liveness of some classes of guidepath-based transport systems and its computational complexity
    Reveliotis, Spyros
    AUTOMATICA, 2020, 113
  • [32] Gaze stability for liveness detection
    Ali, Asad
    Hoque, Sanaul
    Deravi, Farzin
    PATTERN ANALYSIS AND APPLICATIONS, 2018, 21 (02) : 437 - 449
  • [33] Detecting liveness of fingerprint biometrics
    Arunalatha, G.
    Ezhilarasan, M.
    INTERNATIONAL JOURNAL OF INTERNET PROTOCOL TECHNOLOGY, 2016, 9 (04) : 196 - 206
  • [34] Gaze stability for liveness detection
    Asad Ali
    Sanaul Hoque
    Farzin Deravi
    Pattern Analysis and Applications, 2018, 21 : 437 - 449
  • [35] Processes with infinite liveness requirements
    Guerra, Helia
    Costa, Jose Felix
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (3-4): : 137 - 161
  • [36] EQUIVALENCE NET-CONDITION BETWEEN PLACE-LIVENESS AND TRANSITION-LIVENESS OF PETRI NETS AND THEIR INITIAL-MARKING-BASED NECESSARY AND SUFFICIENT LIVENESS CONDITIONS
    MATSUMOTO, T
    TSUJI, K
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (01) : 291 - 301
  • [37] Processes with local and global liveness requirements
    Guerra, Helia
    Costa, Jose Felix
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (03): : 117 - 137
  • [38] On conditions for the liveness of weakly persistent nets
    Liu, GuanJun
    Jiang, ChangJun
    INFORMATION PROCESSING LETTERS, 2009, 109 (16) : 967 - 970
  • [39] The Unbearable Liveness of News Television in India
    Kumar, Akshaya
    TELEVISION & NEW MEDIA, 2015, 16 (06) : 538 - 556
  • [40] REACHABILITY AND LIVENESS IN PARAMETRIC TIMED AUTOMATA
    Andre, Etienne
    Lime, Didier
    Roux, Olivier H.
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 18 (01)
12345