Computer-aided analysis of ladder networks and system functions using interactive graphics