Io-7-wyk-Slajd160

Problem zastoju(4)

Program komputera A można łatwo zamodelować za pomocą sekwencji tranzycji tak, jak to pokazano na slajdzie. W sieci Petri’ego dodano jeszcze łuk zwrotny, by pokazać, że ta sekwencja operacji może być powtarzana wielokrotnie.

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