Struct version 2.9.0 -- 02/12/08 -- LAAS/CNRS

parsed net noname

5 places, 6 transitions

net noname
tr cueille champ -> banane champ 
tr dort jardin -> 
tr jette jardin peau -> jardin 
tr leve table -> jardin 
tr mange banane table -> peau table 
tr rentre champ -> table 
pl champ (1)

0.000s

P-SEMI-FLOWS GENERATING SET ------------------------------------- 

not invariant

no semiflows

0.001s

T-SEMI-FLOWS GENERATING SET ------------------------------------- 

not consistent

cueille jette mange

0.000s

ANALYSIS COMPLETED  ---------------------------------------------