Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

Analyse von Stellen-Transitionen-Netzen Lukas Linke Michael Neumann Rudolf Gräser.

Ähnliche Präsentationen


Präsentation zum Thema: "Analyse von Stellen-Transitionen-Netzen Lukas Linke Michael Neumann Rudolf Gräser."—  Präsentation transkript:

1 Analyse von Stellen-Transitionen-Netzen Lukas Linke Michael Neumann Rudolf Gräser

2 Aufgaben Implementierung von endlichen Stellen-Transitionen- Netzen und zugehörige Systeme Analyse zur Feststellung, ob die Menge der erreichbaren Markierungen für ein System endlich ist oder nicht Analyse, die für alle beschränkten Systeme prüft, ob das System zyklisch ist oder nicht *Kann man auch für ein endliches nicht beschränktes System feststellen, ob es zyklisch ist? Wenn ja, wie ?

3 UML System Transition Stelle Fluss NachbedingungVorbedingung Markierung weight : int token : int 1 * * 1 ** * StellenTransitionenNetz * * MarkierteStelle 1 11


Herunterladen ppt "Analyse von Stellen-Transitionen-Netzen Lukas Linke Michael Neumann Rudolf Gräser."

Ähnliche Präsentationen


Google-Anzeigen