Стр. 36 - Параллельное программирование

ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
34
Сеть первого рода - это цветная сеть Петри, описанная на языке предписаний
(рис.4.1).
Рис. 4.1. Сеть Петри первого рода
Сеть второго рода - это сеть, представленная в виде иерархической компози-
ции объектов (рис.4.2)
Рис. 4.2. Сеть Петри второго рода
Теория сетей Петри
Теория сетей Петри является хорошо известным и популярным формализмом,
предназначенным для работы с параллельными и асинхронными системами.
Основанная в начале 60-х годов немецким математиком К.А. Петри, в настоящее
время она содержит большое количество моделей, методов и средств анализа,
имеющих обширное количество приложений практически во всех отраслях
вычислительной техники и даже вне ее.