State Machine components selection based on minimal transversals

摘要

The article relates to the problem of State Machine Components selection using hypergraphs theory. The base method of exact transversals was presented as well as exact transversal and simple transversal computation. Due to limitations of xt-hypergraph application, authors proposed to extend the baseline method by usage of minimal transversals.