2.03.2006

O hipersieciach raz jeszcze

Hipersieci Petriego to formalizm pozwalający na modelowanie zachowań mobilnych agentów, działających w ramach struktury hierarchicznej opisującej ich wzajemna "podległość". Agenci mogą manipulować swoimi podagentami jako żetonami. Cecha odróżniajaca hipersieci od innych modeli typu "sieci w sieciach" jest fakt, ze hierarchia podległości agentów może dynamicznie ulega zmianie. Podczas seminarium podam nowa, uproszczona i jednocześnie uogólniona definicje hipersieci Petriego. Pokażę też, w jaki sposób dowolna hipersiec możemy przekształcić do zwykłej sieci Petriego o równoważnym zachowaniu. Powiem te kilka słów na temat narzędzi pozwalających symulować dynamikę hipersieci i sprawdzać pewne ich własności.