Kilka miesięcy temu przedstawiliśmy Hipersieci Petriego. Celem tego
rozszerzenia sieci Petriego było stworzenie modelu pozwalającego w
sposób zgrabny modelować zachowania agentów mobilnych, reaktywnych,
działających w stanie rozproszenia i współbieżnie, a przy tym
komunikujących się między sobą. Przedstawiony przez nas model, prócz
powyższych zalet, miał tez dwie inne cechy.
(1) Pozwalał reprezentować mobilne systemy o skończonych przestrzeniach
stanów.
(2) Wprowadzał naturalne pojecie hierarchii - każdy z agentów był
odpowiedzialny za kontrolę zachowania swoich podagentów. Cecha
odróżniająca Hipersieci od modelu Valka jest to, ze ta hierarchia może
ulegać zmianie w czasie.
Na nadchodzącym seminarium mamy zamiar pokazać, jak taka zmiana
hierarchii podległości jednych agentów innym może w naturalny sposób być
wykorzystywana do kontroli zachowania się agentów. Celami technicznymi
seminarium jest wprowadzenie pojęcia grafu przejść Hipersieci. Pozwala
to na zastosowanie logik (LTL,CTL,???...) do opisu własności systemów
mobilnych.
Several months ago we have presented the notion of Petri Hypernets. Our
aim was to create an extension of Petri nets which would neatly model
the behavior of reactive mobile agents that are distributed and may
operate concurrently, communicating with each other. Among the
interesting features of hypernets are:
1. the ability to represent mobile systems with finite state spaces
2. introduction of a natural notion of hierarchy between agents, where
each agent is responsible for controlling it's sub-agents (unlike in
earlier approaches by Valk the hierarchy might evolve in time).
During the coming seminar we would like to show how such a change of
hierarchy of agents might be used for controlling their behavior. One of
the technical goals is to introduce a suitable notion of a case graph
for hypernets. This gives a possibility to use logics (LTL, CTL, ???
...) for describing properties of mobile systems.
|
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum 2004/2005 \ 6.01.2005 Marek Bednarczyk
