|
Józef Winkowski
Multiplicative Transition Systems
[Multiplikatywne systemy tranzycyjne]
1018
Streszczenie
Praca dotyczy algebr, których elementy mogą być użyte
do reprezentowania przebiegów dowolnego systemu od stanu do stanu.
Te algebry, zwane multyplikatywnymi systemami tranzycyjnymi, są
kategoriami ze względu na częściową operację binarną
zwaną składaniem. Można je scharakteryzować aksjomatami tak,
że ich elementy i operację składania można reprezentować
częściowo uporządkowanymi wielozbiorami pewnego typu i operacją
składania takich wielozbiorów. Taką reprezentację można
otrzymać bez zakładania
dyskretności reprezentowanych elementów.
W szczególności jest ona możliwa dla systemów o nieskończenie
podzielnych elementach, a więc i dla systemów których elementy
mogą reprezentować przebiegi ciągłe i częściowo
ciągłe.
Słowa kluczowe: systemy tranzycyjne, stany, tranzycje, składanie, kategoria,
niezależność, regiony, etykietowane zbiory częściowo
uporządkowane, wielozbiory częściowo uporządkowane.
|
|
 |
 |
