Io-7-wyk-Slajd114

Przejścia konfliktowe

W procesach współbieżnych czasami zależy nam na wzajemnym wykluczaniu się procesów: z dwóch (lub więcej) procesów tylko jeden może wejść do rejonu krytycznego. Taką sytuację można zamodelować w sieciach Petri’ego za pomocą tzw. punktu decyzyjnego.

<< Poprzedni slajd | Spis treści | Następny slajd >>