Liveness characterization for GFC systems .1.

被引：0
作者：
Cao, CG
机构：
来源：
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES | 1996年 / 39卷 / 02期
关键词：
free-choice net; liveness; generalized free-choice net;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
The significant features concerning liveness of generalized free-choice (GFC) systems are discussed. These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach. 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 for proving liveness-related features of GFC systems are introduced.
引用
收藏
页码：196 / 205
页数：10
相关论文
共 6 条
  • [1] Cao CG, 1996, SCI CHINA SER E, V39, P206
  • [2] Desel J., 1995, CAMBRIDGE TRACTS THE, DOI 10.1017/CBO9780511526558
  • [3] DESEL J, 1990, REDUCTION DESIGN WEL, V3, P342
  • [4] Reisig Wolfgang., 2012, PETRI NETS INTRO, V4
  • [5] TERUEL E, 1993, LECT NOTES COMPUTER, V691, P415, DOI DOI 10.1007/3-540-56863-8\_
  • [6] TERUEL E, 1993, LNCS, V616, P348
1