TD(7:AMI-Net)
EO(-2,1,6,4,0,1,1,1,0,128,3,3,3,3,18,18,9,9)
EO(-2,1,7,3,0,1,1,1,0,128,2,2,2,2,20,6,10,3)
EO(-2,2,3,1,1,128,2,1,8,7,0,0,0,0,0,0)
OB(-2,1,6,8:obsplace,17:observation place,8:obsplace,12)
AT(4:name,-2,4:name,4:name,8:obsplace,,2,19)
ET(-2,4:name,8:obsplace,5:Times,12,1,12,2,1,0,0,0,1,3,0,0,0,-40,0,0,0,0,1152)
AT(6:domain,-2,6:domain,6:domain,8:obsplace,4:null,4,3)
ET(-2,6:domain,8:obsplace,5:Times,12,2,12,2,1,0,0,0,1,3,0,0,0,-40,16,0,0,0,1152)
AT(15:current marking,-2,15:current marking,15:current marking,8:obsplace,,4,3)
ET(-2,15:current marking,8:obsplace,5:Times,12,0,12,2,1,0,0,0,1,3,0,0,0,-40,-18,0,0,0,128)
OB(-2,1,7,8:obstrans,22:observation transition,8:obstrans,12)
AT(4:name,-2,4:name,4:name,8:obstrans,,2,19)
ET(-2,4:name,8:obstrans,5:Times,12,1,12,2,1,0,0,0,1,3,0,0,0,-40,-5,0,0,0,1152)
AT(5:guard,-2,5:guard,5:guard,8:obstrans,4:true,4,3)
ET(-2,5:guard,8:obstrans,5:Times,12,0,12,0,1,0,0,0,1,3,0,0,0,30,9,0,0,0,128)
AT(6:script,-2,6:script,6:script,8:obstrans,,4,3)
ET(-2,6:script,8:obstrans,5:Times,12,0,12,2,1,0,0,0,1,3,0,0,0,-40,11,0,0,0,1152)
OB(-2,2,3,6:obsarc,15:observation arc,6:obsarc,12)
AT(9:valuation,-2,9:valuation,9:valuation,6:obsarc,1:1,4,3)
ET(-2,9:valuation,6:obsarc,5:Times,12,0,12,2,1,0,0,0,1,3,0,0,0,0,-10,0,0,0,128)
AU(3,6,7)
AU(3,7,6)
AU(3,1,7)
AU(3,7,1)
AU(3,2,6)
AU(3,6,2)
FA()
