Grafi orientati che rappresentano processi decisionali, con applicazioni nell'analisi di processi concorrenti in sistemi di elaborazione asincroni e nella progettazione dei relativi sistemi operativi (PT)