ning alles siis tehakse siire. Spetsifikatsioonikeeled võivad olla dl3 toimimisetähistamiseks See eeldab levitamismehhanisme kõikidesse p See näide on kirjutatud Süsteemi olek: kirjeldatakse koha sõlmede süsteemi osadesse.