Wystąpienia i odczyty:

• Andrzej Borzyszkowski i Rafał Somla: Kategoria sieci Petriego i jej zupełność
  IPIPAN Warszawa, 21 października 1999. godz. 10:45.

  W pierwszej części seminarium Andrzej Borzyszkowski omówi definicję morfizmów sieci Petriego ogólniejszą niż zazwyczaj rozważana w literaturze. Ta część wystąpienia będzie oparta na referacie Andrzeja Borzyszkowskiego na ICALP'99.

  W drugiej części Rafał Somla przedstawi wyniki dotyczące problemu zupełności wprowadzonej właśnie kategorii sieci Petriego. Przedstawiony zostanie zarówno wynik negatywny (kategoria nie jest zupełna) jak i pozytywny (podkategoria sieci bezpiecznych jest zupełna). Ta część wystąpienia będzie (rozszerzeniem) referatu przedstawionego na niedawnych warsztatach CSP w Warszawie.

  Wyniki te znajdą swoje zastosowanie w problemach syntezy sieci Petriego. Przedstawienie tych problemów (i wyników) będzie treścią referatu Marka Bednarczyka w najbliższej przyszłości.

• Marek A. Bednarczyk: O problemie współbieżnej realizacji systemów reaktywnych.
  IPIPAN Warszawa, 4 listopada 1999, godz. 10:45.

  Seminarium poświęcone będzie teorii i praktyce znajdowania współbieżnych realizacji systemów reaktywnych. Te pierwsze obejmować będa różne klasy sieci Petriego, np.: sieci bezpieczne, automaty asynchroniczne. Te ostatnie reprezentowane będa jako systemy tranzycji. Omówiony zostanie problem syntezy, to znaczy znajdowania sieci, której graf przejść jest izomorficzny z danym systemem reaktywnym. Zaczniemy od pierwszych wyników Ehrenfeuchta i Rozenberga, aż do uogólnienia problemu syntezy zaproponowanego ostatnio przez autora wspólnie z Andrzejem Borzyszkowskim. Wyniki teoretyczne analizowane będa z punktu widzenia uniwersalności konstrukcji sieci realizującej dany system współbieżny (funtorialność, sprzężenie). Wyniki teoretyczne poddane zostaną krytycznej analizie z pragmatycznego punktu widzenia, w oparciu o prace Cortadella et al. Zakończymy omówieniem dalszych możliwych uogólnień.

• Rafał Somla: Temporalna logika procesów.
  Uniwersytet Gdański 1999, 1 grudnia 1999, godz. 12:15, kontynuacja 8 grudnia 1999.

  Zaprezentowany zostanie dowod nierozstrzygalnosci tej logiki, a takze wyniki badan nad jej ewentualna zupelnoscia. W tym tygodniu zdaze pewnie podac tylko motywacje, skladnie i semantyke, a dowod nierozstrzygalnosci i uwagi na temat zupelnosci najprawdopodobniej juz sie nie zmieszcza.

• Andrzej Borzyszkowski: Morfizmy sieci Petriego
  FIT 13, Gdańsk, 4 grudnia 1999, godz. 10:40

  W oparciu o materiały wystąpienia w IPIPAN Warszawa, 21 października 1999.

• Rafał Somla: Kategoria sieci Petriego i jej zupełność
  FIT 13, Gdańsk, 4 grudnia 1999, godz. 11:00

  W oparciu o materiały wystąpienia w IPIPAN Warszawa, 21 października 1999.

• Marek A. Bednarczyk: O problemie współbieżnej realizacji systemów reaktywnych.
  FIT 13, Gdańsk, 4 grudnia 1999, godz. 11:20

  W oparciu o materiały wystąpienia w IPIPAN Warszawa, 4 listopada 1999.