Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Przedmowa
Pomysłnapisaniatejksiążkizrodziłsiękilkalattemu,akonkretniew2000ro-
ku,kiedyobroniłempracędoktorską,którejtematykabyłazwiązanazkoloro-
wanymisieciamiPetriego.Rokwcześniejukazałasięksiążka[74],którejjestem
współautorem.ZawierałaonaprzeglądklassieciPetriegoniskiegopoziomu.Bra-
kowałojednakwliteraturzeksiążki,wktórejprzedstawionobywybraneklasy
sieciPetriegoniskiegoiwysokiegopoziomuzzachowaniemjednolitychoznaczeń
iuwypukleniemróżnicmiędzytymiklasami.Postanowiłemtęlukęwypełnić,choć
realizacjatychambitnychplanówsięodsuwała,główniezpowoduróżnychobo-
wiązkównaukowychidydaktycznych.Wtymczasieprowadziłembadaniadoty-
czącesystemówczasurzeczywistego.Interesowałymniemożliwościzastosowania
sieciPetriegodomodelowaniaianalizysystemówwbudowanych,azwłaszcza
własnościczasowychtakichsystemów.
Udałomisięwkońcudoprowadzićdoskutkumojezamierzenia.Książkatanieza-
wieraprzegląduwszystkichklassieciPetriego,niejestteżwyczerpującymstudium
natematklaswniejopisanych.Zależałomibowiemnaprzedstawieniuzarysuteo-
riisieciPetriegoprzezukazanieróżnorodnościklastychsieci,metodichformalnej
analizyorazmożliwościichzastosowaniadomodelowaniasystemówwspółbież-
nychisystemówczasurzeczywistego.Miałatobyćspecyficznapodróżprzezróżne
klasysieci,począwszyodnajprostszych,skończywszynabardzorozbudowanych
zmożliwościamihierarchizacjiopisusieci.
WszystkieomawianewksiążceklasysieciPetriegozostałyopisanezpodaniemich
formalnejdefinicji,zprzedstawieniemichnajważniejszychwłasnościorazmetod
ichanalizy.Głównynaciskpołożyłemnazaprezentowanieprzykładówzastosowa-
niaposzczególnychklassieci,zwracającuwagęzwłaszczanaformalnąanalizęich
własności.Wkilkuwypadkachtensamsystemrozważamprzyokazjiomawiania
różnychklas,takabyzwrócićuwagęnaróżnemożliwościrozmaitychklassieci
Petriego.
1
