# ............. Structural Properties ...................
# Marking Bounds
*SP(1 0 0 0 0 0 )	FICHIERCOMMANDE/MacaoBorne	4
# Structurally Bounded
*SP(0 1 0 0 0 0 )	FICHIERCOMMANDE/MacaoStructBorne	4
# Conservative
*SP(0 0 1 0 0 0 )	FICHIERCOMMANDE/MacaoConservatif	4
# Repetive
*SP(0 0 0 1 0 0 )	FICHIERCOMMANDE/MacaoRepetitif	4
# Stationary Repetitive
*SP(0 0 0 0 1 0 )	FICHIERCOMMANDE/MacaoRepetitif_stationaire	4
# Outil de Kamel
*SP(0 0 0 0 0 1 )	FICHIERCOMMANDE/MacaoLive	0
#
#.............. Graph Properties .........................
# Minimal Marked Traps
*GP(1 0 0 )	FICHIERCOMMANDE/MacaoTrappeMarquee	1
# Minimal Traps
*GP(0 1 0 )	FICHIERCOMMANDE/MacaoTrappeMinimale	1
# Minimal Verrou
*GP(0 0 1 )	FICHIERCOMMANDE/MacaoVerrouMinimale	1
#
#.............. Linear Properties .........................
# P-Flows
*LP(1 0 0 )	FICHIERCOMMANDE/MacaoFlotsOrd	2
# P-SemiFlows
*LP(0 1 0 )	FICHIERCOMMANDE/MacaoPsemiflots	0
# T-SemiFlows
*LP(0 0 1 )	FICHIERCOMMANDE/MacaoTsemiflots	0
#
#.........................................................








