Seminarium Zakładu Teoretycznych Podstaw Informatyki Archiwum 2002 / 2003
20.02.2003
Algebraiczna charakteryzacja niezależności procesów definiowanych przez sieci Petriego
Józef Winkowski
Referat dotyczy procesów definiowanych przez sieci Petriego. Wykorzystana będzie definicja
częściowej operacji pozwalającej konkatenować procesy kiedy tylko jeden z nich jest kontynuacja
innego. Pokazane będzie, że zbiory procesów definiowanych przez sieci Petriego wyposażone w te
operacje tworzą kategorie, w których niezależność procesów można scharakteryzować naturalnymi,
czysto algebraicznymi środkami.
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum 2002 / 2003 \ 20.02.2003 Józef Winkowski
