Issue No.03 - March (1972 vol.21)
P. K. Sinha Roy , Department of Electrical Engineering, Faculty of Pure and Applied Science, University of Ottawa, Ottawa, Ont., Canada.
A direct method of determining the maximum compatibility sets of an incompletely specified flow table of a sequential machine is presented. Subsets of pairwise incompatibles are utilized to decompose the set of all states in a step-by-step process into the maximum compatibles in a few steps. The method is simpler and faster than previously reported tabular, algebraic, and graphical techniques.
P. K. Sinha Roy, "A Decomposition Method of Determining Maximum Compatibles", IEEE Transactions on Computers, vol.21, no. 3, pp. 309-312, March 1972, doi:10.1109/TC.1972.5008956