Deadlock Detection in Discrete Concurrent Systems

被引：0
|
作者：
Karatkevich, Andrei [1 ]
机构：
[1] Univ Zielona Gora, Ul Podgorna 50, PL-65246 Zielona Gora, Poland
来源：
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY | 2008年 / 8卷 / 09期
关键词：
Discrete systems; state spaces; sequent automaton; concurrency; deadlocks; verification;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper a method of deadlock detection in the concurrent discrete systems is given. Sequent automaton is used as a universal model of discrete systems. The method is based on constructing a sub-graph of reachability graph of the system. It can be considered as a generalization of the stubborn set method for Petri nets.
引用
收藏
页码：327 / 331
页数：5
相关论文
共 50 条
  • [1] Deadlock detection in discrete concurrent systems
    Al-Rababah, Mohammad A.
    [J]. PROCEEDINGS OF THE WSEAS INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, ELECTRONICS, CONTROL & SIGNAL PROCESSING: SELECTED TOPICS ON CIRCUITS, SYSTEMS, ELECTRONICS, CONTROL & SIGNAL PROCESSING, 2007, : 582 - 588
  • [2] Ant Colony Optimization for Deadlock Detection in Concurrent Systems
    Francesca, Gianpiero
    Santone, Antonella
    Vaglini, Gigliola
    Villani, Maria Luisa
    [J]. 2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2011, : 108 - 117
  • [3] Supervisory control and deadlock avoidance control problem for Concurrent Discrete Event Systems
    Gaudin, Benoit
    Marchand, Herve
    [J]. 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 2763 - 2768
  • [4] Evaluating deadlock detection methods for concurrent software
    Corbett, JC
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) : 161 - 180
  • [5] Sherlock: Scalable Deadlock Detection for Concurrent Programs
    Eslamimehr, Mahdi
    Palsberg, Jens
    [J]. 22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 353 - 365
  • [6] Static deadlock detection for the SHIM concurrent language
    Vasudevan, Nalini
    Edwards, Stephen A.
    [J]. MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2008, : 49 - 57
  • [7] A Framework to Automatic Deadlock Detection in Concurrent Programs
    Mahdian, Farzaneh
    Rafe, Vahid
    Rafeh, Reza
    [J]. PRZEGLAD ELEKTROTECHNICZNY, 2012, 88 (1B): : 182 - 184
  • [8] ON DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS
    GLIGOR, VD
    SHATTUCK, SH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (05) : 435 - 440
  • [9] DEADLOCK DETECTION IN DISTRIBUTED SYSTEMS
    SINGHAL, M
    [J]. COMPUTER, 1989, 22 (11) : 37 - 48
  • [10] Deadlock detection in distributed systems
    Ambroise, D
    Rozoy, B
    Saquet, J
    [J]. COMPUTERS AND THEIR APPLICATIONS, 2003, : 210 - 213
12345