SWEGL Uebung 3 und 4

Description

Constructive Phasis of SD (part of Grundlagen der Softwareentwicklung FSM + Petri Net
Daniele P.
Flashcards by Daniele P., updated more than 1 year ago
Daniele P.
Created by Daniele P. over 6 years ago
19
0

Resource summary

Question Answer
ZM = (S, I, s_0, S', T) S := Menge von Zuständen I := Menge von Eingabedaten s_0 := Anfangszustand S' := Menge der Endzustände T := Übergangsfunktion ( S/S' x I => S)
Wann ist ein Petri-Netz beschränkt (safe)? Wenn jeder Zustand des Petri Netzes höchstens k Token enthält (Die Menge an Tokens Endlich ist)
TPN - Definiere folgende Begriffe: - statisches Zeitintervall S(t) - dynamisch variables Schaltintervall D(t) - aktueller Stustand S S(t) = (s1(t), s2(t)) D(t) =(d1(t), d2(t)) S = (M, D)
Show full summary Hide full summary

Similar

ein kleines Informatik Quiz
AntonS
Informatik
Tom Kühling
PHP Grundlagen
chrisi.0605
Wirtschaftsinformatik Teil 2
Sabrina Heckler
Informatik 1 - Einführung
Svenja
Codierung
Tom Kühling
Wirtschaftsinformatik Teil 1
Sabrina Heckler
Einführung in das Studium Informatik
Daniel Doe
Lernplan
Sandra K
Datenstrukturen
Ann-Kathrine Buchmakowsky