Cholesterol Metabolism Pathways Disturbances in Atherosclerosis—Analyses Using Stochastic Petri Net-Based Model