Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
2
Strukturasieci
JednązzasadniczychcechsieciPetriegojestichstosunkowoprostaiintuicyjna
reprezentacjagraficzna,wspólnadlawszystkichklassieci.SieciPetriegosąprzed-
stawianewpostacigrafówskierowanych,zawierającychdwarodzajewęzłów(grafy
dwudzielne)nazywanychmiejscamiiprzejściami.Tychdwóchrodzajówwęzłów
używasięodpowiedniodoreprezentowaniastanówiaktywnościmodelowanego
systemu.
Łukiwgrafiesiecimogąłączyćtylkowęzłyróżnychtypów.Zewzględunacha-
raktertychpołączeńdefiniujesięsieciorozmaitychwłasnościachstrukturalnych,
m.in.:sieciczyste,sieciproste,sieciswobodnegowyboru,grafysynchronizacji,
maszynystanoweitd.(zob.prace:[19],[48],[56],[70]i[74]).
Rozdziałtenzawierakrótkiewprowadzeniedoteoriigrafóworazomówieniewła-
snościstrukturalnychsieciPetriego.Większośćzdefiniowanychpojęćzachowuje
ważnośćdladowolnejklasysieci.Wtymrozdzialepominiemycałkowicieaspekt
dynamikisieci.ZasadamipracysieciPetriego,którezależąodichtypu,zajmiemy
sięwnastępnychrozdziałachprzyokazjiomawianiaposzczególnychklassieci.
2.1.Grafyskierowane
Wtympodrozdzialeomówimypodstawowepojęciazwiązanezgrafamiskierowa-
nymi,którychużywasiędoopisuianalizysieciPetriego.Bardziejszczegółowe
wprowadzeniedoteoriigrafówmożnaznaleźćnaprzykładwpracach[58]i[90].
Definicja2.1.Grafemskierowanym(grafem)nazywamyuporządkowanątrójkępostaci
G=(V,A,γ),przyczym:
(1)Vjestzbioremwęzłówgrafu.
(2)Ajestzbioremłuków(krawędzi)grafu,takimżeV∩A=∅.
(3)γ:A→V×Vjestfunkcjązaczepienia,którakażdemułukowiprzypisuje
uporządkowanąparęwęzłów.
9
