\beginnet{ack3}

\place{P_0}{\name{P_0}\capacity{1}\init{0}}
\place{P_1}{\name{P_1}\capacity{1}\init{0}}
\place{P_2}{\name{P_2}\capacity{1}\init{0}}
\place{P_3}{\name{P_3}\capacity{1}\init{0}}
\place{P_4}{\name{P_4}\capacity{1}\init{0}}
\place{P_5}{\name{P_5}\capacity{1}\init{0}}
\place{P_6}{\name{P_6}\capacity{1}\init{0}}
\place{P_7}{\name{P_7}\capacity{1}\init{0}}
\place{P_8}{\name{P_8}\capacity{1}\init{0}}
\place{P_9}{\name{P_9}\capacity{1}\init{0}}
\place{P_10}{\name{P_10}\capacity{1}\init{0}}
\place{P_11}{\name{P_11}\capacity{1}\init{0}}
\place{P_12}{\name{P_12}\capacity{1}\init{0}}
\place{P_13}{\name{P_13}\capacity{1}\init{0}}
\place{P_14}{\name{P_14}\capacity{1}\init{0}}
\place{P_15}{\name{P_15}\capacity{1}\init{0}}
\place{P_16}{\name{P_16}\capacity{1}\init{0}}
\place{P_17}{\name{P_17}\capacity{1}\init{3}}
\place{P_18}{\name{P_18}\capacity{1}\init{0}}
\place{P_19}{\name{start}\capacity{1}\init{1}}
\place{P_20}{\name{halt}\capacity{1}\init{0}}
\place{P_21}{\name{out}\capacity{1}\init{0}}
\place{P_22}{\name{P_22}\capacity{1}\init{0}}

\transition{T_0}{\name{T_0}}
\transition{T_1}{\name{T_1}}
\transition{T_2}{\name{T_2}}
\transition{T_3}{\name{T_3}}
\transition{T_4}{\name{T_4}}
\transition{T_5}{\name{T_5}}
\transition{T_6}{\name{T_6}}
\transition{T_7}{\name{T_7}}
\transition{T_8}{\name{T_8}}
\transition{T_9}{\name{T_9}}
\transition{T_10}{\name{T_10}}
\transition{T_11}{\name{T_11}}
\transition{T_12}{\name{T_12}}
\transition{T_13}{\name{T_13}}
\transition{T_14}{\name{T_14}}
\transition{T_15}{\name{T_15}}
\transition{T_16}{\name{T_16}}
\transition{T_17}{\name{T_17}}
\transition{T_18}{\name{T_18}}
\transition{T_19}{\name{T_19}}
\transition{T_20}{\name{T_20}}
\transition{T_21}{\name{T_21}}
\transition{T_22}{\name{T_22}}
\transition{T_23}{\name{T_23}}

\arc{A_0}{\from{P_0} \to{T_0} \weight{1} \type{ordinary}}
\arc{A_1}{\from{P_1} \to{T_0} \weight{1} \type{ordinary}}
\arc{A_2}{\from{T_0} \to{P_0} \weight{1} \type{ordinary}}
\arc{A_3}{\from{T_0} \to{P_3} \weight{1} \type{ordinary}}
\arc{A_4}{\from{P_0} \to{T_1} \weight{1} \type{ordinary}}
\arc{A_5}{\from{T_1} \to{P_2} \weight{1} \type{ordinary}}
\arc{A_6}{\from{P_4} \to{T_2} \weight{1} \type{ordinary}}
\arc{A_7}{\from{T_2} \to{P_0} \weight{1} \type{ordinary}}
\arc{A_8}{\from{T_2} \to{P_1} \weight{1} \type{ordinary}}
\arc{A_9}{\from{P_10} \to{T_3} \weight{1} \type{ordinary}}
\arc{A_10}{\from{T_3} \to{P_4} \weight{1} \type{ordinary}}
\arc{A_11}{\from{T_3} \to{P_1} \weight{1} \type{ordinary}}
\arc{A_12}{\from{P_6} \to{T_4} \weight{1} \type{ordinary}}
\arc{A_13}{\from{P_3} \to{T_4} \weight{1} \type{ordinary}}
\arc{A_14}{\from{T_4} \to{P_6} \weight{1} \type{ordinary}}
\arc{A_15}{\from{T_4} \to{P_9} \weight{1} \type{ordinary}}
\arc{A_16}{\from{P_2} \to{T_5} \weight{1} \type{ordinary}}
\arc{A_17}{\from{T_5} \to{P_6} \weight{1} \type{ordinary}}
\arc{A_18}{\from{P_5} \to{T_6} \weight{1} \type{ordinary}}
\arc{A_19}{\from{P_3} \to{T_6} \weight{1} \type{ordinary}}
\arc{A_20}{\from{T_6} \to{P_5} \weight{1} \type{ordinary}}
\arc{A_21}{\from{T_6} \to{P_1} \weight{1} \type{ordinary}}
\arc{A_22}{\from{P_5} \to{T_7} \weight{1} \type{ordinary}}
\arc{A_23}{\from{T_7} \to{P_4} \weight{1} \type{ordinary}}
\arc{A_24}{\from{P_2} \to{T_8} \weight{1} \type{ordinary}}
\arc{A_25}{\from{P_7} \to{T_8} \weight{1} \type{ordinary}}
\arc{A_26}{\from{T_8} \to{P_5} \weight{1} \type{ordinary}}
\arc{A_27}{\from{P_6} \to{T_9} \weight{1} \type{ordinary}}
\arc{A_28}{\from{T_9} \to{P_8} \weight{1} \type{ordinary}}
\arc{A_29}{\from{P_16} \to{T_10} \weight{1} \type{ordinary}}
\arc{A_30}{\from{T_10} \to{P_10} \weight{1} \type{ordinary}}
\arc{A_31}{\from{T_10} \to{P_7} \weight{1} \type{ordinary}}
\arc{A_32}{\from{P_12} \to{T_11} \weight{1} \type{ordinary}}
\arc{A_33}{\from{P_9} \to{T_11} \weight{1} \type{ordinary}}
\arc{A_34}{\from{T_11} \to{P_12} \weight{1} \type{ordinary}}
\arc{A_35}{\from{T_11} \to{P_15} \weight{1} \type{ordinary}}
\arc{A_36}{\from{P_8} \to{T_12} \weight{1} \type{ordinary}}
\arc{A_37}{\from{T_12} \to{P_12} \weight{1} \type{ordinary}}
\arc{A_38}{\from{P_11} \to{T_13} \weight{1} \type{ordinary}}
\arc{A_39}{\from{P_9} \to{T_13} \weight{1} \type{ordinary}}
\arc{A_40}{\from{T_13} \to{P_11} \weight{1} \type{ordinary}}
\arc{A_41}{\from{T_13} \to{P_7} \weight{1} \type{ordinary}}
\arc{A_42}{\from{P_11} \to{T_14} \weight{1} \type{ordinary}}
\arc{A_43}{\from{T_14} \to{P_10} \weight{1} \type{ordinary}}
\arc{A_44}{\from{P_8} \to{T_15} \weight{1} \type{ordinary}}
\arc{A_45}{\from{P_13} \to{T_15} \weight{1} \type{ordinary}}
\arc{A_46}{\from{T_15} \to{P_11} \weight{1} \type{ordinary}}
\arc{A_47}{\from{P_12} \to{T_16} \weight{1} \type{ordinary}}
\arc{A_48}{\from{T_16} \to{P_14} \weight{1} \type{ordinary}}
\arc{A_49}{\from{P_19} \to{T_17} \weight{1} \type{ordinary}}
\arc{A_50}{\from{T_17} \to{P_13} \weight{1} \type{ordinary}}
\arc{A_51}{\from{T_17} \to{P_16} \weight{1} \type{ordinary}}
\arc{A_52}{\from{P_15} \to{T_18} \weight{1} \type{ordinary}}
\arc{A_53}{\from{P_22} \to{T_18} \weight{1} \type{ordinary}}
\arc{A_54}{\from{T_18} \to{P_22} \weight{1} \type{ordinary}}
\arc{A_55}{\from{T_18} \to{P_21} \weight{1} \type{ordinary}}
\arc{A_56}{\from{P_14} \to{T_19} \weight{1} \type{ordinary}}
\arc{A_57}{\from{T_19} \to{P_22} \weight{1} \type{ordinary}}
\arc{A_58}{\from{P_15} \to{T_20} \weight{1} \type{ordinary}}
\arc{A_59}{\from{P_18} \to{T_20} \weight{1} \type{ordinary}}
\arc{A_60}{\from{T_20} \to{P_13} \weight{1} \type{ordinary}}
\arc{A_61}{\from{T_20} \to{P_18} \weight{1} \type{ordinary}}
\arc{A_62}{\from{P_18} \to{T_21} \weight{1} \type{ordinary}}
\arc{A_63}{\from{T_21} \to{P_16} \weight{1} \type{ordinary}}
\arc{A_64}{\from{P_14} \to{T_22} \weight{1} \type{ordinary}}
\arc{A_65}{\from{P_17} \to{T_22} \weight{1} \type{ordinary}}
\arc{A_66}{\from{T_22} \to{P_18} \weight{1} \type{ordinary}}
\arc{A_67}{\from{P_22} \to{T_23} \weight{1} \type{ordinary}}
\arc{A_68}{\from{T_23} \to{P_20} \weight{1} \type{ordinary}}


\endnet