Message sequence charts (MSC) je grafický a textový formalizmus
vhodný na na špecifikáciu distribuovanej komunikácie. Pozostáva
z MSC a High-level MSC (HMSC). Formalizmus obsahuje možnosť
špecifikácie času v navrhovaných systémoch. Existujú problémy
nad časovými obmedzeniami v MSC, ako napríklad počítanie 
minimálnej siete. Prvé pokusy riešenia týchto problémov, ktoré
využívajú rôzne prístupy, už boli prezentované.
V tejto práci anlayzujeme rôzne prístupy k časovému rozšíreniu
MSC. Ako najvhodnejší sa javí postup požívajúci labeled
partially ordered sets.  Je prezentované rozšírenie tohto
prístupu na schpnosť formalizmu počítať minimálnu sieť. Je
poskytnuté obmedzenie špecifikácie časových obmedzení na riadne
obmedzena, ktoré nepovoľuje možnosť špecifikácie
nejednoznačných a chybnych obmedzení. Pseudokódy algoritmov na
kontrolovanie riadnych obmedzení sú poskytnuté.