¹⁾ Als Eigenschaften kommen beispielsweise in Betracht:

• Erreichbarkeit bestimmter Zustände/Zustandskombinationen,
• Verklemmungen (Deadlock/Livelock),
• Konflikt-/Konfusionsfreiheit,
• Lebendigkeit,
• Beschränktheit.