Sieci Petriego w modelowaniu i analizie systemów współbieżnych
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żniejszyc h 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ówn ież 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ł 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.....