Насколько я знаю, нет симулятора схемы общего назначения на основе пространства состояний. Хотя есть определенный алгоритм, чтобы выяснить, как найти пространства состояний (уникальные?) в схеме (представленной графами). Кто-нибудь пробовал написать программу для имитации некоторых основных элементов схемы?
[ссылка] 1. Шешу и Рид, Электрические сети и теория графов. [ссылка] 2. H Narayanan, Submodular Functions and Electrical Networks (http://www.ee.iitb.ac.in/~hn )