A predator–prey model with transmissible disease in the prey species is proposed and analysed. The essential mathematical features are analysed with the help of equilibrium, local and global stability analyses and bifurcation theory. We find four possible equilibria. One is where the populations are extinct. Another is where the disease and predator populations are extinct and we find conditions for global stability of this. A third is where both types of prey exist but no predators. The fourth has all three types of individuals present and we find conditions for limit cycles to arise by Hopf bifurcation. Experimental data simulation and brief discussion conclude the paper.