Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1
Wprowadzenie
SieciPetriegosągraficznymimatematycznymnarzędziem,stosowanymwwielu
różnychdziedzinachnauki.Charakteryzujejeintuicyjnygraficznyjęzykmodelo-
wania,wspieranyprzezzaawansowanemetodyformalnejanalizyichwłasności.
NaturalnymzjawiskiemwsieciachPetriegojestwspółbieżnośćwykonywanych
akcji;dlategoteżsąonenajczęściejpostrzeganejakomatematycznenarzędzie
służącedomodelowaniasystemówwspółbieżnych(zob.prace:[32],[70],[74]
i[93]).Sieci,którychdefinicjęrozbudowanoomodelczasu,mogąbyćstosowane
domodelowaniasystemówczasurzeczywistego(zob.prace:[11],[42],[75],[76]
i[77]).
TeoriasieciPetriegowzięłapoczątekodpracyK.A.Petriego[51]opublikowa-
nejw1962roku,aswąnazwę–odnazwiskaautoratejpracy.Wwynikuponad
czterdziestoletniegorozwojutejteoriipowstałowieleróżnychklassieciirozsze-
rzonozakresichzastosowań.Wzależnościodpotrzebdefinicjęsiecizmieniano
idostosowywanodorozważanegoproblemu.Nawprowadzanietakichmodyfikacji
pozwalaniezwykłaelastycznośćtejteorii.Dziękiróżnorodnościznanychobecnie
klassiecimożnastosunkowołatwodobraćklasęnajwłaściwsządladanejdziedzi-
nyzastosowań.Różnorodnośćtajednakutrudniaopracowaniejednolitychmetod
analizyróżnychklassieci.
SiećPetriegojestprzedstawianajakografdwudzielny.Możeonamiećstruktu-
rąhierarchiczną,znacznieułatwiającąmodelowaniezłożonychsystemów.Model
wpostacisieciPetriegojestnietylkograficznąreprezentacjądanegosystemu.
Możliwajestbowiemsymulacjapracysieci(najczęściejwspomaganaprzezod-
powiednienarzędziakomputerowe),dziękiktórejmodeltakistajesięwirtualnym
prototypemreprezentowanegosystemu.
Opróczreprezentacjigraficznejimożliwościsymulacjipracy,nauwagęzasługuje
rozbudowanateoria,którajestpodstawąformalnejanalizywłasnościsieciPetrie-
go.Różnorodnośćklassiecipowoduje,żemetodyichanalizyznaczniesięróżnią.
Dlasiecionajprostszejstrukturzeistniejenajszerszywachlarztychmetodisą
onestosunkowołatwewużyciu.Wprzypadkusiecinajbardziejrozbudowanych
3