Discrete event control/observation systems System structure and realization mathematics