© 2016 World Scientific Publishing Company.As is well-known, every module over a ring has an injective envelope; however, that fact does not hold, in general, for semimodules over semirings. We study the problem of existence ...