Mô hình mạng Petri cho bệnh nhân
start
change
inside
wait
end