Petri Netz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… … Deutsch Wikipedia
Petrienetz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… … Deutsch Wikipedia
Petrinetz — Ein Petri Netz ist ein mathematisches Modell von nebenläufigen Systemen. Es ist eine formale Methode der Modellierung von Systemen bzw. Transformationsprozessen. Die ursprüngliche Form der Petri Netze nennt man auch Bedingungs oder Ereignisnetz.… … Deutsch Wikipedia
Petri-Netz — Als Petri Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet, die alle einigen wenigen, einfachen Prinzipien genügen. Diese Prinzipien hat der Informatiker Carl Adam Petri in den 1960er Jahren entwickelt. Heutzutage werden… … Deutsch Wikipedia
GRAFCET — DIN EN 60848 Bereich automatisierte Produktionssysteme Titel definiert eine grafische Entwurfssprache Kurzbeschreibu … Deutsch Wikipedia
Stoffstromnetz — Stoffstromnetze sind ein spezieller Modellansatz zur Abbildung von Stoffstromsystemen im Rahmen einer Stoffstromanalyse (Stoffstrommanagement). Sie basieren auf der Methodik von Petri Netzen. Dabei werden die Stoff und Energieströme eines Systems … Deutsch Wikipedia
Gewichteter Automat — Der gewichtete Automat ist ein mathematisches Konzept aus der theoretischen Informatik, speziell aus der Automatentheorie. Es ist eine Verallgemeinerung des Automaten. Während die Transitionen eines (deterministischen oder nichtdeterministischen) … Deutsch Wikipedia
Erreichbarkeitsgraph (Petri-Netz) — Ein Erreichbarkeitsgraph ist ein gerichteter Graph, der aus einem Petri Netz und einer Anfangsmarkierung gewonnen werden kann. Er wird dadurch erzeugt, dass, mit der Anfangsmarkierung beginnend, die Menge der in der Markierung aktivierten… … Deutsch Wikipedia
Erreichbarkeitsgraph — Ein Erreichbarkeitsgraph ist ein gerichteter Graph, der aus einem Petri Netz und einer Anfangsmarkierung gewonnen werden kann. Er wird dadurch erzeugt, dass, mit der Anfangsmarkierung beginnend, die Menge der in der Markierung aktivierten… … Deutsch Wikipedia
Lebendigkeit — Eine Transition bzw. Übergang heißt tot, falls sie unter keiner Folgemarkierung aktiviert ist. aktivierbar, falls sie unter mindestens einer Folgemarkierung aktiviert ist. lebendig, falls sie in jeder erreichbaren Markierung aktivierbar ist. Ein… … Deutsch Wikipedia