Искусственный интеллект

9.3. Модель параллельных процессов Одной из популярных областей применения модальной логики является формулировка условий корректности параллельных программ или процессов и проверка истинности этих условий для конкретных параллельных программ. Для того чтобы формулировать эти условия, необходимо четко знать, что же собой представляют параллельные процессы. Для этого рассмотрим модель параллельных процессов. Модель параллельных процессов состоит из т, т >1, процессов Pv ..., Рт, выполняющихся параллельно. Каждый процесс Р., /= 1,..., т, представляет собой граф переходов с вершинами, обозначаемыми /j,, /',,..., l't. Множество L= {l'o, l\, ..., l'e) называется также множеством мест процесса Рг Места могут быть активными и пассивными. Переходом а в графе переходов процесса называется дуга, помеченная условием и следствием перехода.