Раскрашенная сеть Петри

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Раскрашенная сеть Петри (также цветная, окрашенная; англ. coloured Petri net, CP-net) — обратно совместимое расширение математического формализма сети Петри, позволяющее различать виды меток, используемые в сети[1]. Для этого каждой метке приписывается некоторое значение, обычно называемое цветом (цвета принято применять для удобства визуализации и чтобы подчеркнуть, что над значениями меток в рамках формализма невозможны никакие операции, кроме проверки равенства). В процессе имитационного моделирования метке невозможно присвоить новое значение; в то же время, вместо цвета меткам могут быть приписаны значения, обладающие сложной внутренней структурой, то есть относящиеся к сложным типам данных и эти значения могут быть использованы в условиях срабатывания переходов.

Теорию и программное обеспечение для работы с раскрашенными сетями Петри длительное время разрабатывают в рабочей группе CPN Group Орхусского университета под руководством профессора Курта Йенсена (дат. Kurt Jensen)[2]. Кроме раскрашенных сетей Петри, группой разработано несколько других вариантов расширений сетей Петри, и поддержка их всех реализована в одном программном пакете — CPN-Tools, по этой причине некоторые исследователи раскрашенными сетями Петри называют другие формализмы разработки CPN Group.

В качестве программного представления цветных сетей Петри эта группа разработчиков использует специальную версию языка ML - CPN ML, являющуюся расширенной версией SML/NJ[3].

Примечания

[править | править код]
  1. Jensen, Kurt. Coloured Petri Nets. — 2. — Berlin : Heidelberg, 1996. — P. 234. — ISBN 3-540-60943-1.
  2. Всеволод Шахов. Моделирование программно-аппаратных «реактивных» систем раскрашенными сетями Петри. SoftCraft (2006). Дата обращения: 19 августа 2020. Архивировано 25 июля 2020 года.
  3. Jensen, Kurt, Lars M. Kristnesen. Coloured petri nets : modelling and validation of Concurrent Systems. — Dordrecht: Springer, 2009. — 1 online resource (xi, 384 pages) с. — ISBN 978-3-642-00284-7, 3-642-00284-6. Архивировано 23 мая 2022 года.