Sieci Petriego w modelowaniu i analizie systemów współbieżnych

Marcin Szpyrka

Uzyskaj dostęp

Zakup książkę

ISBN/ISSN:

978-83-204-3378-4

DOI:

Wydawnictwo:

Wydawnictwo WNT

Rok wydania:

2008

Liczba stron:

296

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Szpyrka, Marcin. Sieci Petriego w modelowaniu i analizie systemów współbieżnych. Red. . Warszawa: Wydawnictwo WNT, 2008, 296 s. ISBN 978-83-204-3378-4

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Szpyrka, M.

T1 Sieci Petriego w modelowaniu i analizie systemów współbieżnych

PB Wydawnictwo WNT

PP Warszawa

YR 2008

SN 978-83-204-3378-4

Bibliografia BibTex:

@Book{ 40369, author = "Szpyrka, Marcin", editor = "", title = "Sieci Petriego w modelowaniu i analizie systemów współbieżnych", publisher = "Wydawnictwo WNT", year = "2008", address = "Warszawa", isbn = "978-83-204-3378-4" }

Bibliografia endNote:

TY - BOOK

AU - Szpyrka, Marcin

ED -

TI - Sieci Petriego w modelowaniu i analizie systemów współbieżnych

PB - Wydawnictwo WNT

CY - Warszawa

PY - 2008

SN - 978-83-204-3378-4

ER -

Netografia (standard APA):

Szpyrka, Marcin. Sieci Petriego w modelowaniu i analizie systemów współbieżnych [baza danych online] Warszawa: Wydawnictwo WNT, 2008 [dostęp: 03 05 2024]. Dostęp w Ibuk Libra: https://libra.ibuk.pl/reader/sieci-petriego-w-modelowaniu-i-analizie-systemow-wspolbieznych-marcin-szpyrka-40369.

inżynieria oprogramowania

Tematyka książki obejmuje obszerne wprowadzenie do teorii sieci Petriego. Omówiono w niej dziewięć klas sieci, uwzględniając zarówno sieci najczęściej spotykane w literaturze (sieci uogólnione, sieci kolorowane), jak i te nowo proponowane (RTCP-si...

Więcej

ISBN/ISSN:

978-83-204-3378-4

DOI:

Wydawnictwo:

Wydawnictwo WNT

Rok wydania:

2008

Liczba stron:

296

XML:ISBN/ISSN:

ONIX MARC21

Przedmowa11
Rozdział 1. Wprowadzenie13
Rozdział 2. Struktura sieci19
2.1. Grafy skierowane19
2.2. Sieci i ich reprezentacja graficzna23
2.3. Własności strukturalne sieci25
2.4. Podsumowanie29
Rozdział 3. Sieci znakowane31
3.1. Dynamika sieci31
3.2. Ograniczoność sieci34
3.3. Żywotność sieci36
3.4. Charakterystyczne konstrukcje sieciowe40
3.5. Modelowanie z zastosowaniem sieci znakowanych45
3.6. Podsumowanie54
Rozdział 4. Sieci uogólnione55
4.1. Dynamika sieci55
4.2. Modelowanie z zastosowaniem sieci uogólnionych57
4.3. Podsumowanie60
Rozdział 5. Analiza sieci uogólnionych61
5.1. Grafy osiągalności62
5.2. Grafy pokrycia69
5.3. Grafy silnie spójnych składowych74
5.4. Symetrie79
5.5. Trwałe zbiory przejść87
5.6. Algebraiczna reprezentacja sieci92
5.7. Niezmienniki miejsc94
5.8. Niezmienniki przejść104
5.9. Pułapki i zatrzaski109
5.10. Metody redukcji sieci120
5.11. Podsumowanie126
Rozdział 6. Sieci miejsc i przejść129
6.1. Dynamika sieci miejsc i przejść129
6.2. Modelowanie z zastosowaniem sieci miejsc i przejść131
6.3. Symulowanie PT-sieci za pomocą sieci uogólnionych133
6.4. Podsumowanie136
Rozdział 7. Sieci priorytetowe137
7.1. Dynamika sieci priorytetowych137
7.2. Modelowanie z zastosowaniem sieci priorytetowych139
7.3. Podsumowanie147
Rozdział 8. Sieci czasowe149
8.1. Proste sieci czasowe150
8.2. Przedziałowe sieci czasowe154
8.3. Modelowanie z zastosowaniem sieci czasowych157
8.4. Podsumowanie160
Rozdział 9. Analiza sieci czasowych161
9.1. Grafy osiągalności dla prostych sieci czasowych161
9.2. Grafy klas stanów165
9.3. Podsumowanie170
Rozdział 10. Sieci kolorowane171
10.1. Wielozbiory172
10.2. Niehierarchiczne sieci kolorowane173
10.3. Ograniczoność sieci178
10.4. Żywotność sieci182
10.5. Hierarchiczne sieci kolorowane185
10.6. Modelowanie z zastosowaniem sieci kolorowanych189
10.7. Podsumowanie195
Rozdział 11. Analiza sieci kolorowanych197
11.1. Grafy osiągalności197
11.2. Grafy osiągalności z klasami równoważności202
11.3. Niezmienniki sieci kolorowanych206
11.4. Podsumowanie214
Rozdział 12. Czasowe sieci kolorowane215
12.1. Wielozbiory czasowe215
12.2. Dynamika sieci217
12.3. Modelowanie z zastosowaniem czasowych sieci kolorowanych223
12.4. Podsumowanie228
Rozdział 13. RTCP-sieci229
13.1. Niehierarchiczne RTCP-sieci229
13.2. Hierarchiczne RTCP-sieci237
13.3. Modelowanie z zastosowaniem RTCP-sieci249
13.4. Podsumowanie256
Rozdział 14. Analiza RTCP-sieci257
14.1. Grafy osiągalności257
14.2. Grafy pokrycia261
14.3. Podsumowanie265
Rozdział 15. Zakończenie267
Dodatek A. Polsko-angielski słownik terminów269
Dodatek B. Angielsko-polski słownik terminów275
Dodatek C. Wybrane narzędzia do konstruowania i analizy sieci Petriego281
Dodatek D. Lista symboli283
Literatura287
Skorowidz293