Модели:
- Алгоритм Деккера для 2 процессов -
2-processes-dekker.pml; - Алгоритм Деккера для N процессов -
n-processes-dekker.pml; - Алгоритм Петерсона для 2 процессов -
2-processes-peterson.pml; - Алгоритм Петерсона для N процессов (через фильтр) -
n-processes-peterson-filter.pml; - Алгоритм Дейкстра для N процессов -
n-processes-dijkstra.pml; - Модель контроллера светофора на сложном перекрестке -
crossroad.pml.