VE(5:2.6.1)
DO(7:AMI-Net,7:AMI-Net,1)
EO(-2,1,999,2,999,0,0,0,0,0,2,2,2,2,64,64,32,32)
EO(-2,1,1,4,0,1,1,1,0,0,3,3,3,3,18,18,9,9)
EO(-2,1,2,3,0,1,1,1,-1,0,2,2,2,2,20,6,10,3)
EO(-2,1,3,3,0,1,2,1,-1,0,2,2,2,2,20,2,10,1)
EO(-2,1,5,5,0,1,1,1,-1,0,2,2,3,3,24,12,13,6)

EO(-2,2,1,1,1,0,2,1,8,7,2,0,0,0,0,0)
EO(-2,2,2,1,2,0,3,1,6,6,0,0,0,0,0,0)

EO(-2,6,3,16,6,6,3,3)
TD()

OB(-2,3,6:Select)
OB(-2,5,4:text)
OB(-2,6,5:point)

OB(-2,1,999,3:net,3:net,3:net,34)
AT(11:declaration,-2,11:declaration,11:declaration,3:net,,4,6)
AT(9:author(s),-2,9:author(s),9:author(s),3:net,,4,6)
AT(7:version,-2,7:version,7:version,3:net,3:0.0,4,1062)
AT(7:project,-2,7:project,7:project,3:net,,4,6)
AT(5:title,-2,5:title,5:title,3:net,,4,6)
AT(4:date,-2,4:date,4:date,3:net,,4,1030)
AT(4:code,-2,4:code,4:code,3:net,,4,6)
ET(-2,11:declaration,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,4224)
ET(-2,9:author(s),3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,7:version,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,7:project,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,5:title,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
ET(-2,4:date,3:net,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,39,6,0,0,0,128)
ET(-2,4:code,3:net,7:Courier,10,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,4224)

OB(-2,1,1,5:place,5:place,5:place,2)
AT(4:name,-2,4:name,4:name,5:place,,2,1046)
AT(6:domain,-2,6:domain,6:domain,5:place,4:null,4,6)
AT(7:marking,-2,7:marking,7:marking,5:place,,4,6)
AT(9:component,-2,9:component,9:component,5:place,,4,6)
ET(-2,4:name,5:place,5:Times,12,1,12,2,1,0,0,0,1,3,0,0,0,22,-10,0,0,0,2176)
ET(-2,6:domain,5:place,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,22,6,0,0,0,128)
ET(-2,7:marking,5:place,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,22,20,0,0,0,128)
ET(-2,9:component,5:place,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-35,-23,0,0,0,128)

OB(-2,1,2,10:transition,10:transition,10:transition,2)
AT(4:name,-2,4:name,4:name,10:transition,,2,1046)
AT(5:guard,-2,5:guard,5:guard,10:transition,4:true,4,6)
AT(8:priority,-2,8:priority,8:priority,10:transition,1:0,4,6)
AT(5:delay,-2,5:delay,5:delay,10:transition,,4,6)
AT(6:action,-2,6:action,6:action,10:transition,,4,1030)
ET(-2,4:name,10:transition,5:Times,12,1,12,1,1,0,0,0,1,3,0,0,0,22,-14,0,0,0,128)
ET(-2,5:guard,10:transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,22,4,0,0,0,128)
ET(-2,8:priority,10:transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-25,9,0,0,0,128)
ET(-2,5:delay,10:transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-25,28,0,0,0,128)
ET(-2,6:action,10:transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,22,26,0,0,0,128)

OB(-2,1,3,20:immediate transition,20:immediate transition,20:immediate transition,2)
AT(4:name,-2,4:name,4:name,20:immediate transition,,2,1046)
AT(5:guard,-2,5:guard,5:guard,20:immediate transition,4:true,4,6)
AT(8:priority,-2,8:priority,8:priority,20:immediate transition,1:1,4,6)
AT(6:weight,-2,6:weight,6:weight,20:immediate transition,,4,6)
ET(-2,4:name,20:immediate transition,5:Times,12,1,12,1,1,0,0,0,1,3,0,0,0,45,-10,0,0,0,128)
ET(-2,5:guard,20:immediate transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,39,6,0,0,0,128)
ET(-2,8:priority,20:immediate transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-25,9,0,0,0,128)
ET(-2,6:weight,20:immediate transition,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,-12,31,0,0,0,128)

OB(-2,1,5,5:queue,5:queue,5:queue,2)
AT(4:name,-2,4:name,4:name,5:queue,,2,1046)
AT(6:domain,-2,6:domain,6:domain,5:queue,4:null,4,6)
AT(7:marking,-2,7:marking,7:marking,5:queue,,4,6)
ET(-2,4:name,5:queue,5:Times,12,1,12,1,1,0,0,0,1,3,0,0,0,-34,-1,0,0,0,128)
ET(-2,6:domain,5:queue,5:Times,12,2,12,1,1,0,0,0,1,3,0,0,0,-36,28,0,0,0,128)
ET(-2,7:marking,5:queue,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,38,-24,0,0,0,128)

OB(-2,2,1,3:arc,3:arc,3:arc,2)
AT(9:valuation,-2,9:valuation,9:valuation,3:arc,1:1,4,6)
ET(-2,9:valuation,3:arc,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)

OB(-2,2,2,13:inhibitor arc,13:inhibitor arc,13:inhibitor arc,2)
AT(9:valuation,-2,9:valuation,9:valuation,13:inhibitor arc,1:1,4,6)
ET(-2,9:valuation,13:inhibitor arc,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)

FA()
AU(-2,3:arc,5:place,,,10:transition,,,)
AU(-2,3:arc,5:place,,,20:immediate transition,,,)
AU(-2,3:arc,10:transition,,,5:place,,,)
AU(-2,3:arc,20:immediate transition,,,5:place,,,)
AU(-2,3:arc,5:queue,,,10:transition,,,)
AU(-2,3:arc,5:queue,,,20:immediate transition,,,)
AU(-2,3:arc,10:transition,,,5:queue,,,)
AU(-2,3:arc,20:immediate transition,,,5:queue,,,)
AU(-2,13:inhibitor arc,5:place,,,10:transition,,,)
AU(-2,13:inhibitor arc,5:place,,,20:immediate transition,,,)
AU(-2,13:inhibitor arc,5:queue,,,10:transition,,,)
AU(-2,13:inhibitor arc,5:queue,,,20:immediate transition,,,)
WP(1,307,55)
WI(-1,100,60,30,279,260,0,0,5,5)
CN(3:net,1)
PO(1,20,20)
