Timed Petri Nets - 9781461375319

Kierując się zapotrzebowaniem na zwiększoną produktywność, elastyczność i konkurencyjność, współczesna cywilizacja coraz częściej tworzy wysokowydajne systemy dynamiki zdarzeń dyskretnych (DEDS). Systemy te wykazują współbieżne, sekwencyjne i konkurencyjne działania pomiędzy swoimi komponentami. Są one często złożone i mają dużą skalę, a z konieczności są elastyczne, a zatem wysoce kapitałochłonne. Przykładami systemów są systemy produkcyjne, sieci komunikacyjne, systemy ruchu i logistyki oraz wojskowe systemy dowodzenia i kontroli. Modelowanie i ocena wydajności odgrywają kluczową rolę w projektowaniu i działaniu takich wysokowydajnych DEDS, dlatego w ciągu ostatnich dwudziestu lat cieszyły się dużym zainteresowaniem badaczy. Jedna z metodologii wynikająca z tych wysiłków opiera się na sieciach Petriego z pomiarem czasu i powiązanych narzędziach graficznych i matematycznych. Popularność sieci Petriego w modelowaniu DEDS wynika z ich potężnych możliwości reprezentacji współbieżności i synchronizacji, jednakże tych właściwości DEDS nie można łatwo wyrazić w tradycyjnych formalizmach opracowanych do analizy „klasycznych” systemów o zachowaniach sekwencyjnych. Książka ta w sposób systematyczny przedstawia teorie i zastosowania czasowych sieci Petriego. Ponadto, oprócz opracowań teoretycznych, prezentuje także wiele zastosowań praktycznych, wraz z najnowszymi wynikami badań i zastosowaniami przemysłowymi czasowych sieci Petriego. Timed Petri Nets: Theory and Application jest przeznaczony do użytku przez badaczy i praktyków zajmujących się systemami dynamicznymi zdarzeń dyskretnych.