To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Deadlock Detection in Discrete Concurrent Systems |
|
Author |
Ahmad A. Al-Rababah |
| Citation |
Vol. 8 No. 9 pp. 327-331 |
|
Abstract |
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 reach ability graph of the system. It can be considered as a generalization of the stubborn set method for Petri nets. |
|
Keywords |
Discrete systems, state spaces, sequent automaton, concurrency, deadlocks, verification. |
|
URL |
