Knowledge Representation, Organization, and Formalization For Simulation Modeling of Discrete Manufacturing System