期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2008
卷号：8
期号：9
页码：327-331
出版社：International Journal of Computer Science and Network Security
摘要：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.
关键词：Discrete systems; state spaces; sequent automaton; concurrency; deadlocks; verification.
Loading...
