VE(3:1.0)
WN(36:Contact : Fabrice.Kordon@masi.ibp.fr)
DO(17:ReachabilityGraph)
VM(2,5,11)
EO(-2,1,999,2,999,0,0,0,0,0,2,2,2,2,20,20,10,10)

-- Noeud "tat initial"
EO(-2,1,3,11,0,4,1,1,0,0,3,3,3,3,20,20,10,10)
-- Noeud "tat terminal (sans successeur)"
EO(-2,1,4,4,0,1,2,1,0,0,3,3,3,3,20,20,10,10)
-- Noeud "tat"
EO(-2,1,5,4,0,4,1,1,0,0,3,3,3,3,20,20,10,10)

-- Les arcs du graphe
EO(-2,2,6,1,1,0,2,1,8,7,2,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,5:graph,5:graph,5:graph,32)
AT(5:title,-2,5:title,5:title,5:graph,,4,6)
ET(-2,5:title,5:graph,9:Helvetica,14,0,15,1,1,0,0,0,1,3,0,0,0,25,0,0,0,0,1152)
AT(9:author(s),-2,9:author(s),9:author(s),5:graph,,4,6)
ET(-2,9:author(s),5:graph,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,25,20,0,0,0,128)
AT(7:version,-2,7:version,7:version,5:graph,3:0.0,4,1062)
ET(-2,7:version,5:graph,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,120,0,0,0,0,2176)
AT(11:information,-2,11:information,11:information,5:graph,0:,4,6)
ET(-2,11:information,5:graph,7:courier,10,0,12,1,1,0,0,0,1,3,0,0,0,0,40,0,0,0,4224)
AT(4:type,-2,4:type,4:type,5:graph,,4,6)
ET(-2,4:type,5:graph,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,75,0,0,0,1152)
AT(7:project,-2,7:project,7:project,5:graph,,4,6)
ET(-2,7:project,5:graph,5:Times,12,0,12,1,1,0,0,0,1,3,0,0,0,0,90,0,0,0,1152)

-- Noeud "tat initial"
OB(-2,1,3,13:initial_state,13:initial_state,4:node,2)
AT(4:name,-2,4:name,4:name,13:initial_state,,2,1046)
ET(-2,4:name,13:initial_state,9:Helvetica,12,1,14,2,1,0,0,0,1,3,0,0,0,22,-5,0,0,0,2176)
AT(5:value,-2,5:value,5:value,13:initial_state,,4,6)
ET(-2,5:value,13:initial_state,7:Courier,10,0,12,1,1,0,0,0,1,3,0,0,0,22,10,0,0,0,128)
AT(7:initial,-2,7:initial,7:initial,13:initial_state,,2,1046)
ET(-2,7:initial,13:initial_state,5:Times,10,0,12,2,1,0,0,0,1,3,0,0,0,-28,-5,0,0,0,2176)
AT(8:deadlock,-2,8:deadlock,8:deadlock,13:initial_state,,2,1046)
ET(-2,8:deadlock,13:initial_state,5:Times,10,0,12,2,1,0,0,0,1,3,0,0,0,-35,10,0,0,0,2176)

-- Noeud "tat terminal (sans successeur)"
OB(-2,1,4,14:terminal_state,14:terminal_state,4:node,2)
AT(4:name,-2,4:name,4:name,14:terminal_state,,2,1046)
ET(-2,4:name,14:terminal_state,9:Helvetica,12,1,14,2,1,0,0,0,1,3,0,0,0,22,-5,0,0,0,2176)
AT(5:value,-2,5:value,5:value,14:terminal_state,,4,6)
ET(-2,5:value,14:terminal_state,7:Courier,10,0,12,1,1,0,0,0,1,3,0,0,0,22,10,0,0,0,128)
AT(7:initial,-2,7:initial,7:initial,14:terminal_state,,2,1046)
ET(-2,7:initial,14:terminal_state,5:Times,10,0,12,2,1,0,0,0,1,3,0,0,0,-28,-5,0,0,0,2176)
AT(8:deadlock,-2,8:deadlock,8:deadlock,14:terminal_state,,2,1046)
ET(-2,8:deadlock,14:terminal_state,5:Times,10,0,12,2,1,0,0,0,1,3,0,0,0,-35,10,0,0,0,2176)

-- Noeud "tat"
OB(-2,1,5,5:state,5:state,4:node,2)
AT(4:name,-2,4:name,4:name,5:state,,2,1046)
ET(-2,4:name,5:state,9:Helvetica,12,1,14,2,1,0,0,0,1,3,0,0,0,22,-5,0,0,0,2176)
AT(5:value,-2,5:value,5:value,5:state,,4,6)
ET(-2,5:value,5:state,7:Courier,10,0,12,1,1,0,0,0,1,3,0,0,0,22,10,0,0,0,128)
AT(7:initial,-2,7:initial,7:initial,5:state,,2,1046)
ET(-2,7:initial,5:state,5:Times,10,0,12,2,1,0,0,0,1,3,0,0,0,-28,-5,0,0,0,2176)
AT(8:deadlock,-2,8:deadlock,8:deadlock,5:state,,2,1046)
ET(-2,8:deadlock,5:state,5:Times,10,0,12,2,1,0,0,0,1,3,0,0,0,-35,10,0,0,0,2176)

-- Les arcs du graphe
OB(-2,2,6,5:event,5:event,5:event,2)
AT(5:label,-2,5:label,5:label,5:event,,2,6)
ET(-2,5:label,5:event,9:helvetica,9,1,11,2,1,0,0,0,1,3,0,0,0,0,0,0,0,0,1152)
AT(5:value,-2,5:value,5:value,5:event,,2,6)
ET(-2,5:value,5:event,5:Times,9,0,11,2,1,0,0,0,1,3,0,0,0,0,0,0,0,0,4224)

AU(-2,5:event,4:node,,,4:node,,,)

FA()
WI(100,0,0,279,229,30,110)
CN(5:graph,1)
PO(1,5,5)
