Esprime una decisione quando vengono utilizzate condizioni guardia per indicare diverse possibili transizioni che dipendono ...