zu einem Petrinetz definierte Sprache, die alle zu einer toten Markierung führenden Schaltfolgen umfaßt.

Dabei ist eine Markierung tot, wenn bei ihr keine aktivierten Transitionen existieren, also das System terminiert ist. Zu einem Petrinetz N, einem Alphabet Σ und einer Beschriftung h der Transitionen ist die Deadlocksprache D(N, Σ, h) als

\begin{eqnarray}\{h(w)|w|\in {T}^{* },\exists m:{m}_{0}[w\gt m,\ \ m\ \ tot\}\end{eqnarray}