Mô hình mạng Petri tổng hợp
start
change
done
free
busy
inside
docu
wait
end