\beginnet{fms_gspn_N_le_10} \const{\type{integer}\name{N}} \const{\type{integer}\name{np}\value{3*N/2}} \place{P_0}{\name{P1}\capacity{1}\init{N}} \place{P_1}{\name{P1wM1}\capacity{1}\init{0}} \place{P_2}{\name{P1M1}\capacity{1}\init{0}} \place{P_3}{\name{M1}\capacity{1}\init{3}} \place{P_4}{\name{P1s}\capacity{1}\init{0}} \place{P_5}{\name{P12s}\capacity{1}\init{0}} \place{P_6}{\name{P12M3}\capacity{1}\init{0}} \place{P_7}{\name{M3}\capacity{1}\init{2}} \place{P_8}{\name{P12wM3}\init{0}} \place{P_9}{\name{P12}\init{0}} \place{P_10}{\name{P1wP2}\init{0}} \place{P_11}{\name{P2wP1}\init{0}} \place{P_12}{\name{P2}\init{N}} \place{P_13}{\name{P2wM2}\init{0}} \place{P_14}{\name{P2M2}\init{0}} \place{P_15}{\name{M2}\init{1}} \place{P_16}{\name{P2s}\init{0}} \place{P_17}{\name{P3}\init{N}} \place{P_18}{\name{P3M2}\init{0}} \place{P_19}{\name{P3s}\init{0}} \place{P_20}{\name{P1d}\init{0}} \place{P_21}{\name{P2d}\init{0}} \transition{T_0}{\name{tP3} \function{P3*max(1,np/(P1+P2+P3+P12))}} \transition{T_1}{\name{tP3M2} \function{0.5}} \transition{T_2}{\name{tP1} \function{P1*max(1,np/(P1+P2+P3+P12))}} \transition{T_3}{\name{tP2} \function{P2*max(1,np/(P1+P2+P3+P12))}} \transition{T_4}{\name{tP12} \function{P12*max(1,np/(P1+P2+P3+P12))}} \transition{T_5}{\name{P1_eq_1} \function{1/60}} \transition{T_6}{\name{P1s_eq_2} \function{1/60}} \transition{T_7}{\name{P1s_eq_3} \function{1/60}} \transition{T_8}{\name{Ps1_eq_4} \function{1/60}} \transition{T_9}{\name{Ps1_eq_5} \function{1/60}} \transition{T_10}{\name{P12s_eq_1} \function{1/60}} \transition{T_11}{\name{P12s_eq_2} \function{1/60}} \transition{T_12}{\name{P12s_eq_3} \function{1/60}} \transition{T_13}{\name{P12s_eq_4} \function{1/60}} \transition{T_14}{\name{P12s_eq_5} \function{1/60}} \transition{T_15}{\name{P3s_eq_1} \function{1/60}} \transition{T_16}{\name{P3s_eq_3} \function{1/60}} \transition{T_17}{\name{P3s_eq_4} \function{1/60}} \transition{T_18}{\name{P3s_eq_5} \function{1/60}} \transition{T_19}{\name{P3s_eq_2} \function{1/60}} \transition{T_20}{\name{P2s_eq_1} \function{1/60}} \transition{T_21}{\name{P2s_eq_4} \function{1/60}} \transition{T_22}{\name{P2s_eq_5} \function{1/60}} \transition{T_23}{\name{P2s_eq_2} \function{1/60}} \transition{T_24}{\name{P2s_eq_3} \function{1/60}} \transition{T_25}{\name{P1s_eq_6} \function{1/60}} \transition{T_26}{\name{P1s_eq_7} \function{1/60}} \transition{T_27}{\name{P1s_eq_8} \function{1/60}} \transition{T_28}{\name{P12s_eq_6} \function{1/60}} \transition{T_29}{\name{P12s_eq_7} \function{1/60}} \transition{T_30}{\name{P12s_eq_8} \function{1/60}} \transition{T_31}{\name{P3s_eq_6} \function{1/60}} \transition{T_32}{\name{P3s_eq_7} \function{1/60}} \transition{T_33}{\name{P3s_eq_8} \function{1/60}} \transition{T_34}{\name{P2s_eq_6} \function{1/60}} \transition{T_35}{\name{P2s_eq_7} \function{1/60}} \transition{T_36}{\name{P2s_eq_8} \function{1/60}} \transition{T_37}{\name{P2s_eq_9} \function{1/60}} \transition{T_38}{\name{P2s_eq_10} \function{1/60}} \transition{T_39}{\name{P3s_eq_9} \function{1/60}} \transition{T_40}{\name{P3s_eq_10} \function{1/60}} \transition{T_41}{\name{P12s_eq_9} \function{1/60}} \transition{T_42}{\name{P12s_eq_10} \function{1/60}} \transition{T_43}{\name{P1s_eq_10} \function{1/60}} \transition{T_44}{\name{P1s_eq_9} \function{1/60}} \transition{T_45}{\name{tM1} \function{ImmediateFiring()}} \transition{T_46}{\name{tP1M1} \function{P1M1/4}} \transition{T_47}{\name{tP1e} \function{ImmediateFiring(0.8)}} \transition{T_48}{\name{tP1j} \function{ImmediateFiring(0.2)}} \transition{T_49}{\name{tx} \function{ImmediateFiring()}} \transition{T_50}{\name{tM3} \function{ImmediateFiring()}} \transition{T_51}{\name{tP12M3} \function{P12M3}} \transition{T_52}{\name{tM2} \function{ImmediateFiring()}} \transition{T_53}{\name{tP2M2} \function{1/6}} \transition{T_54}{\name{tP2j} \function{ImmediateFiring(0.4)}} \transition{T_55}{\name{tP2e} \function{ImmediateFiring(0.6)}} \arc{A_0}{\from{P_17} \to{T_0} \weight{1} \type{ordinary}} \arc{A_1}{\from{P_0} \to{T_0} \weight{1} \type{modifierarc}} \arc{A_2}{\from{P_12} \to{T_0} \weight{1} \type{modifierarc}} \arc{A_3}{\from{P_9} \to{T_0} \weight{1} \type{modifierarc}} \arc{A_4}{\from{T_0} \to{P_18} \weight{1} \type{ordinary}} \arc{A_5}{\from{P_15} \to{T_1} \weight{1} \type{ordinary}} \arc{A_6}{\from{P_18} \to{T_1} \weight{1} \type{ordinary}} \arc{A_7}{\from{T_1} \to{P_15} \weight{1} \type{ordinary}} \arc{A_8}{\from{T_1} \to{P_19} \weight{1} \type{ordinary}} \arc{A_9}{\from{P_0} \to{T_2} \weight{1} \type{ordinary}} \arc{A_10}{\from{P_12} \to{T_2} \weight{1} \type{modifierarc}} \arc{A_11}{\from{P_9} \to{T_2} \weight{1} \type{modifierarc}} \arc{A_12}{\from{P_17} \to{T_2} \weight{1} \type{modifierarc}} \arc{A_13}{\from{T_2} \to{P_1} \weight{1} \type{ordinary}} \arc{A_14}{\from{P_12} \to{T_3} \weight{1} \type{ordinary}} \arc{A_15}{\from{P_0} \to{T_3} \weight{1} \type{modifierarc}} \arc{A_16}{\from{P_9} \to{T_3} \weight{1} \type{modifierarc}} \arc{A_17}{\from{P_17} \to{T_3} \weight{1} \type{modifierarc}} \arc{A_18}{\from{T_3} \to{P_13} \weight{1} \type{ordinary}} \arc{A_19}{\from{P_9} \to{T_4} \weight{1} \type{ordinary}} \arc{A_20}{\from{P_0} \to{T_4} \weight{1} \type{modifierarc}} \arc{A_21}{\from{P_12} \to{T_4} \weight{1} \type{modifierarc}} \arc{A_22}{\from{P_17} \to{T_4} \weight{1} \type{modifierarc}} \arc{A_23}{\from{T_4} \to{P_8} \weight{1} \type{ordinary}} \arc{A_24}{\from{P_4} \to{T_5} \weight{1} \type{ordinary}} \arc{A_25}{\from{P_4} \to{T_5} \weight{1} \type{equalarc}} \arc{A_26}{\from{T_5} \to{P_0} \weight{1} \type{ordinary}} \arc{A_27}{\from{P_4} \to{T_6} \weight{2} \type{ordinary}} \arc{A_28}{\from{P_4} \to{T_6} \weight{2} \type{equalarc}} \arc{A_29}{\from{T_6} \to{P_0} \weight{2} \type{ordinary}} \arc{A_30}{\from{P_4} \to{T_7} \weight{3} \type{ordinary}} \arc{A_31}{\from{P_4} \to{T_7} \weight{3} \type{equalarc}} \arc{A_32}{\from{T_7} \to{P_0} \weight{3} \type{ordinary}} \arc{A_33}{\from{P_4} \to{T_8} \weight{4} \type{ordinary}} \arc{A_34}{\from{P_4} \to{T_8} \weight{4} \type{equalarc}} \arc{A_35}{\from{T_8} \to{P_0} \weight{4} \type{ordinary}} \arc{A_36}{\from{P_4} \to{T_9} \weight{5} \type{ordinary}} \arc{A_37}{\from{P_4} \to{T_9} \weight{5} \type{equalarc}} \arc{A_38}{\from{T_9} \to{P_0} \weight{5} \type{ordinary}} \arc{A_39}{\from{P_5} \to{T_10} \weight{1} \type{ordinary}} \arc{A_40}{\from{P_5} \to{T_10} \weight{1} \type{equalarc}} \arc{A_41}{\from{T_10} \to{P_0} \weight{1} \type{ordinary}} \arc{A_42}{\from{T_10} \to{P_12} \weight{1} \type{ordinary}} \arc{A_43}{\from{P_5} \to{T_11} \weight{2} \type{ordinary}} \arc{A_44}{\from{P_5} \to{T_11} \weight{2} \type{equalarc}} \arc{A_45}{\from{T_11} \to{P_0} \weight{2} \type{ordinary}} \arc{A_46}{\from{T_11} \to{P_12} \weight{2} \type{ordinary}} \arc{A_47}{\from{P_5} \to{T_12} \weight{3} \type{ordinary}} \arc{A_48}{\from{P_5} \to{T_12} \weight{3} \type{equalarc}} \arc{A_49}{\from{T_12} \to{P_12} \weight{3} \type{ordinary}} \arc{A_50}{\from{T_12} \to{P_0} \weight{3} \type{ordinary}} \arc{A_51}{\from{P_5} \to{T_13} \weight{4} \type{ordinary}} \arc{A_52}{\from{P_5} \to{T_13} \weight{4} \type{equalarc}} \arc{A_53}{\from{T_13} \to{P_0} \weight{4} \type{ordinary}} \arc{A_54}{\from{T_13} \to{P_12} \weight{4} \type{ordinary}} \arc{A_55}{\from{P_5} \to{T_14} \weight{5} \type{ordinary}} \arc{A_56}{\from{P_5} \to{T_14} \weight{5} \type{equalarc}} \arc{A_57}{\from{T_14} \to{P_12} \weight{5} \type{ordinary}} \arc{A_58}{\from{T_14} \to{P_0} \weight{5} \type{ordinary}} \arc{A_59}{\from{P_19} \to{T_15} \weight{1} \type{ordinary}} \arc{A_60}{\from{P_19} \to{T_15} \weight{1} \type{equalarc}} \arc{A_61}{\from{T_15} \to{P_17} \weight{1} \type{ordinary}} \arc{A_62}{\from{P_19} \to{T_16} \weight{3} \type{ordinary}} \arc{A_63}{\from{P_19} \to{T_16} \weight{3} \type{equalarc}} \arc{A_64}{\from{T_16} \to{P_17} \weight{3} \type{ordinary}} \arc{A_65}{\from{P_19} \to{T_17} \weight{4} \type{ordinary}} \arc{A_66}{\from{P_19} \to{T_17} \weight{4} \type{equalarc}} \arc{A_67}{\from{T_17} \to{P_17} \weight{4} \type{ordinary}} \arc{A_68}{\from{P_19} \to{T_18} \weight{5} \type{ordinary}} \arc{A_69}{\from{P_19} \to{T_18} \weight{5} \type{equalarc}} \arc{A_70}{\from{T_18} \to{P_17} \weight{5} \type{ordinary}} \arc{A_71}{\from{P_19} \to{T_19} \weight{2} \type{ordinary}} \arc{A_72}{\from{P_19} \to{T_19} \weight{2} \type{equalarc}} \arc{A_73}{\from{T_19} \to{P_17} \weight{2} \type{ordinary}} \arc{A_74}{\from{P_16} \to{T_20} \weight{1} \type{ordinary}} \arc{A_75}{\from{P_16} \to{T_20} \weight{1} \type{equalarc}} \arc{A_76}{\from{T_20} \to{P_12} \weight{1} \type{ordinary}} \arc{A_77}{\from{P_16} \to{T_21} \weight{4} \type{ordinary}} \arc{A_78}{\from{P_16} \to{T_21} \weight{4} \type{equalarc}} \arc{A_79}{\from{T_21} \to{P_12} \weight{4} \type{ordinary}} \arc{A_80}{\from{P_16} \to{T_22} \weight{5} \type{ordinary}} \arc{A_81}{\from{P_16} \to{T_22} \weight{5} \type{equalarc}} \arc{A_82}{\from{T_22} \to{P_12} \weight{5} \type{ordinary}} \arc{A_83}{\from{P_16} \to{T_23} \weight{2} \type{ordinary}} \arc{A_84}{\from{P_16} \to{T_23} \weight{2} \type{equalarc}} \arc{A_85}{\from{T_23} \to{P_12} \weight{2} \type{ordinary}} \arc{A_86}{\from{P_16} \to{T_24} \weight{3} \type{ordinary}} \arc{A_87}{\from{P_16} \to{T_24} \weight{3} \type{equalarc}} \arc{A_88}{\from{T_24} \to{P_12} \weight{3} \type{ordinary}} \arc{A_89}{\from{P_4} \to{T_25} \weight{6} \type{ordinary}} \arc{A_90}{\from{P_4} \to{T_25} \weight{6} \type{equalarc}} \arc{A_91}{\from{T_25} \to{P_0} \weight{6} \type{ordinary}} \arc{A_92}{\from{P_4} \to{T_26} \weight{7} \type{ordinary}} \arc{A_93}{\from{P_4} \to{T_26} \weight{7} \type{equalarc}} \arc{A_94}{\from{T_26} \to{P_0} \weight{7} \type{ordinary}} \arc{A_95}{\from{P_4} \to{T_27} \weight{8} \type{ordinary}} \arc{A_96}{\from{P_4} \to{T_27} \weight{8} \type{equalarc}} \arc{A_97}{\from{T_27} \to{P_0} \weight{8} \type{ordinary}} \arc{A_98}{\from{P_5} \to{T_28} \weight{6} \type{ordinary}} \arc{A_99}{\from{P_5} \to{T_28} \weight{6} \type{equalarc}} \arc{A_100}{\from{T_28} \to{P_12} \weight{6} \type{ordinary}} \arc{A_101}{\from{T_28} \to{P_0} \weight{6} \type{ordinary}} \arc{A_102}{\from{P_5} \to{T_29} \weight{7} \type{ordinary}} \arc{A_103}{\from{P_5} \to{T_29} \weight{7} \type{equalarc}} \arc{A_104}{\from{T_29} \to{P_12} \weight{7} \type{ordinary}} \arc{A_105}{\from{T_29} \to{P_0} \weight{7} \type{ordinary}} \arc{A_106}{\from{P_5} \to{T_30} \weight{8} \type{ordinary}} \arc{A_107}{\from{P_5} \to{T_30} \weight{8} \type{equalarc}} \arc{A_108}{\from{T_30} \to{P_12} \weight{8} \type{ordinary}} \arc{A_109}{\from{T_30} \to{P_0} \weight{8} \type{ordinary}} \arc{A_110}{\from{P_19} \to{T_31} \weight{6} \type{ordinary}} \arc{A_111}{\from{P_19} \to{T_31} \weight{6} \type{equalarc}} \arc{A_112}{\from{T_31} \to{P_17} \weight{6} \type{ordinary}} \arc{A_113}{\from{P_19} \to{T_32} \weight{7} \type{ordinary}} \arc{A_114}{\from{P_19} \to{T_32} \weight{7} \type{equalarc}} \arc{A_115}{\from{T_32} \to{P_17} \weight{7} \type{ordinary}} \arc{A_116}{\from{P_19} \to{T_33} \weight{8} \type{ordinary}} \arc{A_117}{\from{P_19} \to{T_33} \weight{8} \type{equalarc}} \arc{A_118}{\from{T_33} \to{P_17} \weight{8} \type{ordinary}} \arc{A_119}{\from{P_16} \to{T_34} \weight{6} \type{ordinary}} \arc{A_120}{\from{P_16} \to{T_34} \weight{6} \type{equalarc}} \arc{A_121}{\from{T_34} \to{P_12} \weight{6} \type{ordinary}} \arc{A_122}{\from{P_16} \to{T_35} \weight{7} \type{ordinary}} \arc{A_123}{\from{P_16} \to{T_35} \weight{7} \type{equalarc}} \arc{A_124}{\from{T_35} \to{P_12} \weight{7} \type{ordinary}} \arc{A_125}{\from{P_16} \to{T_36} \weight{8} \type{ordinary}} \arc{A_126}{\from{P_16} \to{T_36} \weight{8} \type{equalarc}} \arc{A_127}{\from{T_36} \to{P_12} \weight{8} \type{ordinary}} \arc{A_128}{\from{P_16} \to{T_37} \weight{9} \type{ordinary}} \arc{A_129}{\from{P_16} \to{T_37} \weight{9} \type{equalarc}} \arc{A_130}{\from{T_37} \to{P_12} \weight{9} \type{ordinary}} \arc{A_131}{\from{P_16} \to{T_38} \weight{10} \type{ordinary}} \arc{A_132}{\from{P_16} \to{T_38} \weight{10} \type{equalarc}} \arc{A_133}{\from{T_38} \to{P_12} \weight{10} \type{ordinary}} \arc{A_134}{\from{P_19} \to{T_39} \weight{9} \type{ordinary}} \arc{A_135}{\from{P_19} \to{T_39} \weight{9} \type{equalarc}} \arc{A_136}{\from{T_39} \to{P_17} \weight{9} \type{ordinary}} \arc{A_137}{\from{P_19} \to{T_40} \weight{10} \type{ordinary}} \arc{A_138}{\from{P_19} \to{T_40} \weight{10} \type{equalarc}} \arc{A_139}{\from{T_40} \to{P_17} \weight{10} \type{ordinary}} \arc{A_140}{\from{P_5} \to{T_41} \weight{9} \type{ordinary}} \arc{A_141}{\from{P_5} \to{T_41} \weight{9} \type{equalarc}} \arc{A_142}{\from{T_41} \to{P_12} \weight{9} \type{ordinary}} \arc{A_143}{\from{T_41} \to{P_0} \weight{9} \type{ordinary}} \arc{A_144}{\from{P_5} \to{T_42} \weight{10} \type{ordinary}} \arc{A_145}{\from{P_5} \to{T_42} \weight{10} \type{equalarc}} \arc{A_146}{\from{T_42} \to{P_0} \weight{10} \type{ordinary}} \arc{A_147}{\from{T_42} \to{P_12} \weight{10} \type{ordinary}} \arc{A_148}{\from{P_4} \to{T_43} \weight{10} \type{ordinary}} \arc{A_149}{\from{P_4} \to{T_43} \weight{10} \type{equalarc}} \arc{A_150}{\from{T_43} \to{P_0} \weight{10} \type{ordinary}} \arc{A_151}{\from{P_4} \to{T_44} \weight{9} \type{ordinary}} \arc{A_152}{\from{P_4} \to{T_44} \weight{9} \type{equalarc}} \arc{A_153}{\from{T_44} \to{P_0} \weight{9} \type{ordinary}} \arc{A_154}{\from{P_1} \to{T_45} \weight{1} \type{ordinary}} \arc{A_155}{\from{P_3} \to{T_45} \weight{1} \type{ordinary}} \arc{A_156}{\from{T_45} \to{P_2} \weight{1} \type{ordinary}} \arc{A_157}{\from{P_2} \to{T_46} \weight{1} \type{ordinary}} \arc{A_158}{\from{T_46} \to{P_3} \weight{1} \type{ordinary}} \arc{A_159}{\from{T_46} \to{P_20} \weight{1} \type{ordinary}} \arc{A_160}{\from{P_20} \to{T_47} \weight{1} \type{ordinary}} \arc{A_161}{\from{T_47} \to{P_4} \weight{1} \type{ordinary}} \arc{A_162}{\from{P_20} \to{T_48} \weight{1} \type{ordinary}} \arc{A_163}{\from{T_48} \to{P_10} \weight{1} \type{ordinary}} \arc{A_164}{\from{P_10} \to{T_49} \weight{1} \type{ordinary}} \arc{A_165}{\from{P_11} \to{T_49} \weight{1} \type{ordinary}} \arc{A_166}{\from{T_49} \to{P_9} \weight{1} \type{ordinary}} \arc{A_167}{\from{P_8} \to{T_50} \weight{1} \type{ordinary}} \arc{A_168}{\from{P_7} \to{T_50} \weight{1} \type{ordinary}} \arc{A_169}{\from{T_50} \to{P_6} \weight{1} \type{ordinary}} \arc{A_170}{\from{P_6} \to{T_51} \weight{1} \type{ordinary}} \arc{A_171}{\from{T_51} \to{P_5} \weight{1} \type{ordinary}} \arc{A_172}{\from{T_51} \to{P_7} \weight{1} \type{ordinary}} \arc{A_173}{\from{P_13} \to{T_52} \weight{1} \type{ordinary}} \arc{A_174}{\from{P_15} \to{T_52} \weight{1} \type{ordinary}} \arc{A_175}{\from{T_52} \to{P_14} \weight{1} \type{ordinary}} \arc{A_176}{\from{P_14} \to{T_53} \weight{1} \type{ordinary}} \arc{A_177}{\from{T_53} \to{P_15} \weight{1} \type{ordinary}} \arc{A_178}{\from{T_53} \to{P_21} \weight{1} \type{ordinary}} \arc{A_179}{\from{P_21} \to{T_54} \weight{1} \type{ordinary}} \arc{A_180}{\from{T_54} \to{P_11} \weight{1} \type{ordinary}} \arc{A_181}{\from{P_21} \to{T_55} \weight{1} \type{ordinary}} \arc{A_182}{\from{T_55} \to{P_16} \weight{1} \type{ordinary}} \endnet