• Editore SFC
• Editor SFC in modalità online
• Elementi
• Qualificatori per le azioni in SFC
• Bandiere SFC
• Variabili implicite
• Biblioteca: Analisi