\beginnet{kanban_N}

\const{\type{integer}\name{N}}

\place{P_0}{\name{x1}\capacity{1}\init{0}}
\place{P_1}{\name{y1}\capacity{1}\init{0}}
\place{P_2}{\name{z1}\capacity{1}\init{0}}
\place{P_3}{\name{x2}\capacity{1}\init{0}}
\place{P_4}{\name{y2}\capacity{1}\init{0}}
\place{P_5}{\name{z2}\capacity{1}\init{0}}
\place{P_6}{\name{x3}\capacity{1}\init{0}}
\place{P_7}{\name{y3}\capacity{1}\init{0}}
\place{P_8}{\name{z3}\capacity{1}\init{0}}
\place{P_9}{\name{x4}\capacity{1}\init{0}}
\place{P_10}{\name{y4}\capacity{1}\init{0}}
\place{P_11}{\name{z4}\capacity{1}\init{0}}
\place{P_12}{\name{w1}\capacity{1}\init{0}}
\place{P_13}{\name{w2}\capacity{1}\init{0}}
\place{P_14}{\name{w3}\capacity{1}\init{0}}
\place{P_15}{\name{w4}\capacity{1}\init{0}}

\transition{T_0}{\name{in} \function{1}}
\transition{T_1}{\name{t1_1} \function{0.36}}
\transition{T_2}{\name{t1_2} \function{0.3}}
\transition{T_3}{\name{t1_3} \function{0.84}}
\transition{T_4}{\name{t2_1} \function{0.42}}
\transition{T_5}{\name{t2_2} \function{0.3}}
\transition{T_6}{\name{t2_3} \function{0.98}}
\transition{T_7}{\name{s2} \function{0.5}}
\transition{T_8}{\name{s1} \function{0.4}}
\transition{T_9}{\name{t3_1} \function{0.39}}
\transition{T_10}{\name{t3_3} \function{0.91}}
\transition{T_11}{\name{t3_2} \function{0.3}}
\transition{T_12}{\name{t4_1} \function{0.33}}
\transition{T_13}{\name{t4_2} \function{0.3}}
\transition{T_14}{\name{t4_3} \function{0.77}}
\transition{T_15}{\name{t5} \function{0.9}}

\arc{A_0}{\from{P_0} \to{T_0} \weight{N} \type{inhibitor}}
\arc{A_1}{\from{P_12} \to{T_0} \weight{N} \type{inhibitor}}
\arc{A_2}{\from{T_0} \to{P_0} \weight{1} \type{ordinary}}
\arc{A_3}{\from{T_0} \to{P_12} \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_1} \weight{1} \type{ordinary}}
\arc{A_6}{\from{P_1} \to{T_2} \weight{1} \type{ordinary}}
\arc{A_7}{\from{T_2} \to{P_0} \weight{1} \type{ordinary}}
\arc{A_8}{\from{P_0} \to{T_3} \weight{1} \type{ordinary}}
\arc{A_9}{\from{T_3} \to{P_2} \weight{1} \type{ordinary}}
\arc{A_10}{\from{P_3} \to{T_4} \weight{1} \type{ordinary}}
\arc{A_11}{\from{T_4} \to{P_4} \weight{1} \type{ordinary}}
\arc{A_12}{\from{P_4} \to{T_5} \weight{1} \type{ordinary}}
\arc{A_13}{\from{T_5} \to{P_3} \weight{1} \type{ordinary}}
\arc{A_14}{\from{P_3} \to{T_6} \weight{1} \type{ordinary}}
\arc{A_15}{\from{T_6} \to{P_5} \weight{1} \type{ordinary}}
\arc{A_16}{\from{P_5} \to{T_7} \weight{1} \type{ordinary}}
\arc{A_17}{\from{P_8} \to{T_7} \weight{1} \type{ordinary}}
\arc{A_18}{\from{P_13} \to{T_7} \weight{1} \type{ordinary}}
\arc{A_19}{\from{P_14} \to{T_7} \weight{1} \type{ordinary}}
\arc{A_20}{\from{P_15} \to{T_7} \weight{N} \type{inhibitor}}
\arc{A_21}{\from{P_9} \to{T_7} \weight{N} \type{inhibitor}}
\arc{A_22}{\from{T_7} \to{P_15} \weight{1} \type{ordinary}}
\arc{A_23}{\from{T_7} \to{P_9} \weight{1} \type{ordinary}}
\arc{A_24}{\from{P_2} \to{T_8} \weight{1} \type{ordinary}}
\arc{A_25}{\from{P_12} \to{T_8} \weight{1} \type{ordinary}}
\arc{A_26}{\from{P_14} \to{T_8} \weight{N} \type{inhibitor}}
\arc{A_27}{\from{P_13} \to{T_8} \weight{N} \type{inhibitor}}
\arc{A_28}{\from{P_3} \to{T_8} \weight{N} \type{inhibitor}}
\arc{A_29}{\from{P_6} \to{T_8} \weight{N} \type{inhibitor}}
\arc{A_30}{\from{T_8} \to{P_3} \weight{1} \type{ordinary}}
\arc{A_31}{\from{T_8} \to{P_13} \weight{1} \type{ordinary}}
\arc{A_32}{\from{T_8} \to{P_14} \weight{1} \type{ordinary}}
\arc{A_33}{\from{T_8} \to{P_6} \weight{1} \type{ordinary}}
\arc{A_34}{\from{P_6} \to{T_9} \weight{1} \type{ordinary}}
\arc{A_35}{\from{T_9} \to{P_7} \weight{1} \type{ordinary}}
\arc{A_36}{\from{P_6} \to{T_10} \weight{1} \type{ordinary}}
\arc{A_37}{\from{T_10} \to{P_8} \weight{1} \type{ordinary}}
\arc{A_38}{\from{P_7} \to{T_11} \weight{1} \type{ordinary}}
\arc{A_39}{\from{T_11} \to{P_6} \weight{1} \type{ordinary}}
\arc{A_40}{\from{P_9} \to{T_12} \weight{1} \type{ordinary}}
\arc{A_41}{\from{T_12} \to{P_10} \weight{1} \type{ordinary}}
\arc{A_42}{\from{P_10} \to{T_13} \weight{1} \type{ordinary}}
\arc{A_43}{\from{T_13} \to{P_9} \weight{1} \type{ordinary}}
\arc{A_44}{\from{P_9} \to{T_14} \weight{1} \type{ordinary}}
\arc{A_45}{\from{T_14} \to{P_11} \weight{1} \type{ordinary}}
\arc{A_46}{\from{P_11} \to{T_15} \weight{1} \type{ordinary}}
\arc{A_47}{\from{P_15} \to{T_15} \weight{1} \type{ordinary}}


\endnet