Lexikon der Mathematik: Überdeckungssprache
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.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.