%psf
*P-Semi-Flots (Invariants de places)
 PQ(8:Services,8:GreatSPN,1)
 PQ(8:Services,12:P-Semi-flots,1)
%tsf
*T-Semi-Flots (Invariants de transitions)
 PQ(8:Services,8:GreatSPN,1)
 PQ(8:Services,12:T-Semi-flots,1)
