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-sieci). Dla każdej z omówionych klas przedstawiono przykłady ich zastosowania do modelowania rozmaitych systemów oraz metody analizy ich najważniejszych własności.
Czytając książkę "Sieci Petriego w modelowaniu i analizie systemów współbieżnych" można nie tylko poznać podstawowe cechy poszczególnych klas sieci oraz występujące między nimi różnice, ale również wybrać taką klasę, która będzie najodpowiedniejsza do danych zastosowań.
Książka przeznaczona jest głównie dla studentów informatyki, elektroniki, automatyki i telekomunikacji. Polecamy ją również każdemu, kto chce stosować sieci Petriego w badaniach naukowych lub w praktyce inżynierskiej, wykładowcom przedmiotów, które przynajmniej częściowo dotyczą sieci Petriego, oraz słuchaczom wykładów z teorii sieci Petriego.
Rozdziały:
Rozdział 1. Wprowadzenie
Rozdział 2. Struktura sieci 2.1. Grafy skierowane 2.2. Sieci i ich reprezentacja graficzna 2.3. Własności strukturalne sieci 2.4. Podsumowanie
Rozdział 3. Sieci znakowane 3.1. Dynamika sieci 3.2. Ograniczoność sieci 3.3. Żywotność sieci 3.4. Charakterystyczne konstrukcje sieciowe 3.5. Modelowanie z zastosowaniem sieci znakowanych 3.6. Podsumowanie
Rozdział 4. Sieci uogólnione 4.1. Dynamika sieci 4.2. Modelowanie z zastosowaniem sieci uogólnionych 4.3. Podsumowanie
Rozdział 5. Analiza sieci uogólnionych 5.1. Grafy osiągalności 5.2. Grafy pokrycia 5.3. Grafy silnie spójnych składowych 5.4. Symetrie 5.5. Trwałe zbiory przejść 5.6. Algebraiczna reprezentacja sieci 5.7. Niezmienniki miejsc 5.8. Niezmienniki przejść 5.9. Pułapki i zatrzaski 5.10. Metody redukcji sieci 5.11. Podsumowanie
Rozdział 6. Sieci miejsc i przejść 6.1. Dynamika sieci miejsc i przejść 6.2. Modelowanie z zastosowaniem sieci miejsc i przejść 6.3. Stymulowanie PT-sieci za pomocą sieci uogólnionych 6.4. Podsumowanie
Rozdział 7. Sieci priorytetowe 7.1. Dynamika sieci priorytetowych 7.2. Modelowanie z zastosowaniem sieci priorytetowych 7.3. Podsumowanie
Rozdział 8. Sieci czasowe 8.1. Proste sieci czasowe 8.2. Przedziałowe sieci czasowe 8.3. Modelowanie z zastosowaniem sieci czasowych 8.4. Podsumowanie
Rozdział 9. Analiza sieci czasowych 9.1. Grafy osiągalności dla prostych sieci czasowych 9.2. Grafy klas stanów 9.3. Podsumowanie
Rozdział 10. Sieci kolorowane 10.1. Wielozbiory 10.2. Niehierarchiczne sieci kolorowane 10.3. Ograniczoność sieci 10.4. Żywotność sieci 10.5. Hierarchiczne sieci kolorowane 10.6. Modelowanie z zastosowaniem sieci kolorowanych 10.7. Podsumowanie
Rozdział 11. Analiza sieci kolorowanych 11.1. Grafy osiągalności 11.2. Grafy osiągalności z klasami równoważności 11.3. Niezmienniki sieci kolorowanych 11.4. Podsumowanie
Rozdział 12. Czasowe sieci kolorowane 12.1. Wielozbiory czasowe 12.2. Dynamika sieci 12.3. Modelowanie z zastosowaniem czasowych sieci kolorowanych 12.4. Podsumowanie
Rozdział 13. RTCP-sieci 13.1. Niehierarchiczne RTCP-sieci 13.2. Hierarchiczne RTCP-sieci 13.3. Modelowanie z zastosowaniem RTCP-sieci 13.4. Podsumowanie
Rozdział 14. Analiza RTCP-sieci 14.1. Grafy osiągalności 14.2. Grafy pokrycia 14.3. Podsumowanie
Rozdział 15. Zakończenie
Dodatek A. Polsko-angielski słownik terminów Dodatek B. Angielsko-polski słownik terminów Dodatek C. Wybrane narzędzia do konstruowani8a i analizy sieci Petriego Dodatek D. Lista symboli
|