2024. Availability Analysis and Performance Modeling of a Milk Pasteurization System using Petri Nets. International Journal of Current Engineering and Technology. 14, 4 (Aug. 2024), 212–219.