On constructing optimistic simulation algorithms for the discrete event system specification