Pr-1st-1.1-m03-Slajd27
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Diagramy równoważne
Należy zauważyć, że w ogólności istnieje wiele różnych diagramów przestrzenno-czasowych, którym odpowiada taki sam zbiór częściowo uporządkowany .
Diagramy takie nazywa się diagramami równoważnymi. Diagram przestrzenno-czasowy może być odwzorowany w diagram równoważny przez ,,rozciąganie lub ,,ściskanie linii reprezentujących lokalne osie czasu, jeżeli w wyniku tych operacji relacja poprzedzania dowolnej pary zdarzeń zależnych nie zostanie zmieniona.