Каждому последовательному процессу можно однозначно сопоставить поток действий – трассу (spur, англ. trace) процесса. Трассы являются более простыми моделями для последовательного хода работы системы, чем структуры действий.
Для моделирования распределенных систем, как правило, используются не процессы с их явным представлением параллельности (англ. true concurency – истинный параллелизм), а технически более простые для применения множества потоков действий. В этом случае говорят об искусственной линеаризации (англ. interleaving).
Абстрактное описание динамического поведения распределенной системы может быть дано путем задания множества процессов. Существует ряд способов для описания систем и их ходов работ:
· сети Петри, графический метод описания;
· агенты, формальный язык описания;
· формулы логики предикатов для описания хода работы.
Одной из первых концепций, которые были предложены для описания распределенных систем и процессов, являются сети Петри, представляющие собой простое графическое представление таких систем.
Сеть Петри (сеть условий/событий) – направленный граф, состоящий из узлов двух типов – вентилей (переходы, барьеры) и ячеек (места, площадки). Ребра по мере надобности ведут от вентилей к ячейкам или от ячеек к вентилям Ячейки загружаются логическими значениями или натуральными числами. Содержимое ячеек определяет состояние сети. В каком-либо заданном состоянии определенные вентили (множество вентилей) готовы к передаче (они могут «открываться» - путем открытия такого множества вентилей изменяя загрузку сети, т.е.