Le tecniche utilizzate per convertire le descrizioni non strutturate di un processo in una sequenza di azioni con un numero finito di passi.