In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'93), 17-20 October 1993, Le Touquet, France, Vol. 1, pages 618-623. 1993.
Abstract: The aim of this paper is to construct an efficient algorithm to find an S-decomposition and an SM-decomposition where each S-component contains only one token. These algorithms can be applied to deadlock detection and repetitive behavior control in flexible manufacturing systems.
Keywords: S-components, SM-components, deadlock detection, decomposition algorithms, flexible manufacturing systems, free-choice Petri nets.