Conceptual analysis of an automatic system