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

Tematyka książki obejmuje szerokie wprowadzenie do teorii sieci Petriego. Omówiono w niej dziewięć klas sieci, uwzględniając równocześnie sieci przeważnie 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 użycia do modelowania zróżnicowanych 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, a także występujące pomiędzy nimi różnice,ponadto wybrać taką klasę, która będzie najodpowiedniejsza do informacji zastosowań.

Książka przeznaczona jest z zasady dla studentów informatyki, elektroniki, automatyki i telekomunikacji. Polecamy ją dodatkowo 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, i 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. Specyficzne konstrukcje sieciowe 3.5. Modelowanie z wykorzystaniem sieci znakowanych 3.6. Podsumowanie Rozdział 4. Sieci uogólnione 4.1. Dynamika sieci 4.2.