Дополненный размеченный график
Расширенный размеченный граф — это, по сути, сеть Петри с определенным набором мест, называемых ресурсными местами.
Если удалить эти ресурсные места и связанные с ними дуги, это станет отмеченным графом , в котором отмечен каждый цикл. Для каждого ресурсного места существуют пары исходящих и входящих переходов, соединенных элементарными путями.
Приложение
[ редактировать ]Дополненные размеченные графы часто используются для моделирования систем с общими ресурсами, например производственных систем . На основе особых свойств дополненных размеченных графов можно эффективно анализировать такие свойства моделируемых систем, как живучесть , ограниченность и обратимость.
Ссылки
[ редактировать ]- Кинг Синг Чунг, Расширенные размеченные графы, Springer, 2014.