Mô hình mạng Petri cho bác sĩ
start
change
done
free
busy
docu