Se existe um sistema com um conjunto de transações, tal que toda a transação deste conjunto está esperando outra transação também nele contida, diz-se que este sistema está emestado de: