Sieci petriego w modelowaniu i analizie systemów współbieżnych (WNT)

Tematyka książki obejmuje wielkie wprowadzenie do teorii sieci Petriego. Omówiono w niej dziewięć klas sieci, uwzględniając jednocześnie sieci z zasady 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 różnorodnych systemów, a także metody analizy ich najważniejszych własności. Czytając tę książkę można nie tylko poznać podstawowe parametry poszczególnych klas sieci i występujące pomiędzy nimi różnice,również wybrać taką klasę, która będzie najodpowiedniejsza do informacji zastosowań.

Książka dedykowana jest na ogół dla studentów informatyki, elektroniki, automatyki i telekomunikacji. Polecamy ją jeszcze każdemu, kto chce stosować sieci Petriego w badaniach naukowych albo 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ł 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. Typowe konstrukcje sieciowe 3.5. Modelowanie z wykorzystaniem sieci znakowanych 3.6. Podsumowanie Rozdział 4. Sieci uogólnione 4.1. Dynamika sieci 4.2.