MEBIS07B Erreichbarkeit
Автор: Wirtschaftsinformatik Prof. Hense
Загружено: 2020-07-30
Просмотров: 3959
Описание:
Das Video behandelt die Erreichbarkeit in Petri-Netzen, indem es die Definition der Erreichbarkeitsmenge erläutert, die alle Zustände umfasst, die von einer Anfangsmarkierung aus erreichbar sind. Es werden wichtige Eigenschaften von Petri-Netzen wie lokale Determiniertheit, Monotonie und Kommutativität erklärt, sowie Eigenschaften, die in Petri-Netzen nicht gelten, wie Persistenz und Confluence. Zudem werden die Begriffe der Sicherheit und K-Beschränktheit für Stellen in Petri-Netzen definiert.
00:00 - Definition: Petri-Netze
04:02 - Feuern von Transitionen
09:56 - Konfluenz
13:55 - Welche Elemente des Petrinetz mit Schlinge sind beschränkt?
18:03 - Definition: einfach/stark lebendig
24:00 - Definition: Erreichbarkeitsgraph
25:04 - Erreichbarkeitsgraph
42:05 - Das Erreichbarkeitsproblem
Besuchen Sie auch unseren Kanal über Geschäftsprozessautomatisierung: @yawlusergroup
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
