Operatori di Base

Permettono la costruzione di processi finiti semplici. I più importanti sono gli operatori per la sequenzializzazione delle azioni e quelli di scelta. Con essi possiamo già costruire grafi di processo come gli LTS.