Klasse von Netzsprachen von Petrinetzen.

Zu einer gegebenen Menge von Endmarkierungen wird die zugehörige Überdeckungssprache aus denjenigen Schaltsequenzen gebildet, die die Anfangsmarkierung in eine Markierung überführen, die größer oder gleich einer der Endmarkierungen ist.