Heart Modeling on the Basis of Petri Nets - V. V. Kuzmuk; B. N. Eremeev; E. A. Taranenko (Cybernetics and computer engineering, 2014)