Informacje ogólne  Aktualności  Pracownicy  Projekty badawcze  Rada Naukowa   Konferencje   Seminaria   Publikacje   Biblioteka   Wydawnictwo  Usługi lokalne 
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum 2003/2004 \ 11.03.2004 Marek Bednarczyk Mapa serwisu  

Marek Bednarczyk
11.03.2004

 

Archiwum 2003/2004

 

Seminarium Zakładu
Teoretycznych
Podstaw Informatyki

 

Seminaria

Informacje Ogólne

 


Seminarium Zakładu Teoretycznych Podstaw Informatyki
Archiwum 2003/2004

11.03.2004

Mobilne HiperSieci Petriego

Marek A. Bednarczyk
Instytut Podstaw Informatyki PAN, filia Gdańsk

Przedstawione zostanie rozszerzenie pojęcia sieci Petriego realizujące pochodzący od Valka paradygmat "sieci w sieciach".
Hipersieć Petriego H, to rodzina sieci Petriego.
Każda indywidualna sieć N w H występować może jako żeton w miejscu innej, nadrzędnej sieci-matki N' z H.
Mobilność pozioma i pionowa.
Sieci takie jak N mogą, jak to żetony, przemieszczać się poziomo w ramach sieci-matki N'. Cecha specyficzna naszej propozycji jest mobilność pionowa: sieci-zetony mogą podrożować pomiędzy poziomami - zarówno "awansować" na wyższy, jak i podlegać "degradacji" na niższy poziom.
Inne slowa kluczowe opisujace model:

  • hierarchiczność - sieć-matka rządzi swoimi tokenami
  • strukturalność - podział H na kanały, niezmienne dla żetonów
  • sieci otwarte i zamknięte na komunikację ze światem
  • zmienny charakter warunków odpalalności tranzycji w sieci.
W ramach seminarium zostanie przedstawiona formalna definicja modelu, w tym m.in. pojęcia odpalenia w hipersieci. Idee i motywacje zilustrujemy na przykładzie "Portu Lotniczego".


      Archiwum 2003/2004  Back to Research Projects Information.    
  webmaster@IPIPAN.Waw.PL Copyright by IPI PAN - 2003