Availability Analysis and Performance Modeling of a Milk Pasteurization System Using Petri Nets. Int. J. Curr. Eng. Technol. 2024, 14 (4), 212-219.