Analýza typu zdroje operace poskytuje informaci o zdrojích operací, které jsou přiřazeny virtuálním operacím. Virtuální operace, tedy operace typu sekvence, samy o sobě nic nespotřebovávají ani neprodukují a nedává tedy smysl, aby využívaly kapacity zdrojů.
Nesprávný stav:
Správný stav:
Pokud se v systému takové operace nachází, zobrazí se následující zpráva.
...