Models of regular Schwarzschild black holes satisfying weak energy conditions

We prove the existence of regular Schwarzschild black holes satisfying the weak energy conditions everywhere by presenting two explicit models. One of these models is explicitly seen to be complete (and therefore regular) by giving a maximal extension across the horizons.