Knowledge-based modeling of discrete-event simulation systems