26.01.2006

Aksjomatyczna charakteryzacja algebr procesów sieci Petriego typu C/E

Referat dotyczy algebr częściowych, które można otrzymać przez wyposażenie zbiorów procesów sieci Petriego typu C/E w składanie sekwencyjne i równolegle. Algebry takie zostaną scharakteryzowane jako kategorie z dodatkową strukturą i dodatkowymi własnościami. W szczególności zostanie pokazane, że z podanego zestawu własności takich algebr traktowanego jako system aksjomatów można odtworzyć struktury wewnętrzne elementów algebr i ze elementy te można traktować jako procesy sieci Petriego typu C/E.