Rantai makanan merupakan salah satu bahasan dalam ekologi, di mana minimal terdapat spesies pemangsa (predator) dan spesies mangsa (prey) yang dikaji dalam pemodelan matematika. Salah satu model mangsa-pemangsa yang telah dikembangkan yaitu model mangsa-pemangsa dengan adanya penyebaran penyakit tipe Susceptible-Infected-Susceptible (SIS) pada spesies mangsa yang dilakukan pemanenan pada mangsa yang terinfeksi. Tujuan dari penelitian ini adalah untuk menjelaskan terbentuknya model mangsa-pemangsa dengan pemanenan pada mangsa yang terinfeksi, menganalisis kestabilan dari model yang terbentuk, menyelidiki sifat solusi dari model, dan membuat simulasi model untuk melihat pengaruh pemanenan terhadap populasi mangsa yang terinfeksi. Pada penelitian ini digunakan matriks Jacobian dan Kriteria Routh-Hurwitz untuk menganalisa kestabilan lokal dan fungsi Lyapunov untuk menganalisa kestabilan globalnya. Selanjutnya, sifat solusi diselidiki dengan menggunakan Kriteria Dulac. Hasil dari penelitian ini didapatkan model mangsa-pemangsa dengan pemanenan pada mangsa yang terinfeksi. Terdapat empat titik ekuilibrium, di mana hanya satu titik ekuilibrium yang stabil asimtotik lokal dan stabil global bersyarat. Solusi dari model yang terbentuk memiliki sifat terbatas, positif, dan tidak periodik.
Kata Kunci: Mangsa-Pemangsa, pemanenan, SIS, kestabilan