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 条
  • [41] Liveness redux: on media and their claim to be live
    van Es, Karin
    MEDIA CULTURE & SOCIETY, 2017, 39 (08) : 1245 - 1256
  • [42] Combining Sequence Diagrams and OCL for Liveness
    Cavarra, Alessandra
    Kuster-Filipe, Juliana
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 115 : 19 - 38
  • [43] On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled petri nets
    Sreenivas, RS
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1997, 42 (07) : 928 - 945
  • [44] Anonymously Publishing Liveness Signals with Plausible Deniability
    Sonntag, Michael
    Mayrhofer, Rene
    Rass, Stefan
    ADVANCES IN MOBILE COMPUTING AND MULTIMEDIA INTELLIGENCE, MOMM 2023, 2023, 14417 : 3 - 19
  • [45] Transparency and Liveness in Visual Programming Environments for Novices
    Tanimoto, Steven L.
    2015 IEEE BLOCKS AND BEYOND WORKSHOP (BLOCKS AND BEYOND), 2015, : 113 - 114
  • [46] Place Bisimulation and Liveness for Open Petri Nets
    Dong, Xiaoju
    Fu, Yuxi
    Varacca, Daniele
    DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 1 - 17
  • [47] Presburger liveness verification of discrete timed automata
    Dang, Z
    San Pietro, P
    Kemmerer, RA
    THEORETICAL COMPUTER SCIENCE, 2003, 299 (1-3) : 413 - 438
  • [48] On liveness of extended partially ordered condition nets
    Ohta, A
    Tsuji, K
    Hisamura, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1999, E82A (11): : 2576 - 2578
  • [49] The #NBCFail Olympics: Access, liveness and the public interest
    McNutt, Myles
    JOURNAL OF POPULAR TELEVISION, 2013, 1 (01) : 121 - 128
  • [50] Iris Liveness Detection for Next Generation Smartphones
    Thavalengal, Shejin
    Nedelcu, Tudor
    Bigioi, Petronel
    Corcoran, Peter
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2016, 62 (02) : 95 - 102
12345