Pytanie, czy skończony zbiór X sladów Mazurkiewicza jest KODEM SLADÓW,
to znaczy, czy generowany przez X podmonoid sladów sam jest monoidem
sladów jest nierozstrzygalne. Monoidy sladów leza u podstaw wielu klas modeli
wspólbieznych, np., 1-bezpieczne sieci Petriego, systemy i automaty
asynchroniczne, itp.
W swietle powyzszego negatywnego rezultatu istnienie konstruktywnych
metodologii tworzenia systemów wspólbieznych staje pod znakiem zapytania.
Zwlaszcza takich metodologii, które bazuja na konstruowaniu PODSYSTEMÓW.
Praca autora dowodzi, ze czasem stworzenie takiej metodologii udaje
sie osiagnac. Seminarium poswiecone jest wyjasnieniu powodów tego zjawiska.
Ponadto, przedstawiona zostanie charakteryzacja tych abstrakcyjnych
monoidów, które sa izomorficzne z jakims monoidem sladów Mazurkiewicza.
|
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum 2004/2005 \ 28.10.2004 Marek Bednarczyk
