Księgarnia Motoryzacyjna

Sieci Petriego w modelowaniu i analizie systemów współbieżnych
parametry książki: 2008, 185x235, s. 286, rys. 133, tabl. 7, oprawa twarda, Seria: „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-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 tę książkę 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.  

Przedmowa
 
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

Literatura
Skorowidz