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 2002 / 2003 \ 3.04.2003 Marek A. Bednarczyk Mapa serwisu  

Marek A. Bednarczyk
3.04.2003

 

Archiwum 2002 / 2003

 

Seminarium Zakładu
Teoretycznych
Podstaw Informatyki

 

Seminaria

Informacje Ogólne

 


Seminarium Zakładu Teoretycznych Podstaw Informatyki
Archiwum 2002 / 2003

3.04.2003

O wyższości Sieci Elementarnych nad innymi klasami Sieci Petriego i odwrotnie

Marek A. Bednarczyk

Teoria Sieci Elementarnych oferuje elegancki opis procesu realizacji abstrakcyjnych zachowań w sposób współbieżny. Mają one jednak także pewne ograniczenia. Okazuje się na przykład, że różnią się drastycznie od wielu innych klas Sieci Petriego przy próbie odpowiedzi na następujace pytanie: Czy dwa zdarzenia, które nie dzielą wspólnego miejsca w nasyconej sieci o zadanym grafie przejść, musza tworzyć diament?

Z drugiej strony, Sieci Elementarne oferują naturalny model interpretacyjny dla Logiki Kwantowej.



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