Model verification is to check the correctness of the model implementation comparing with a model specification. The specification is modeling and description properties of a real system. The implementation is the ready to simulation model described from model specification. Our proposed frame work is system morphism based approach, which has various levels of morphism depending on system descr...

The research focuses on increasing production volume and decreasing costs at a hardness test block manufacturer. A discrete event simulation model is created to investigate potential system wide improvements. Using the results from the simulation a production work-cell is proposed that will allow a single worker to operate 7 machines at a rate that exceeds existing production rates. This result...

The paper introduces OMNeT++, a C++-based discrete event simulation package primarily targeted at simulating computer networks and other distributed systems. OMNeT++ is fully programmable and modular, and it was designed from the ground up to support modeling very large networks built from reusable model components. Large emphasis was placed also on easy traceability and debuggability of simula...