-
Zur Startseite
Zum Editor

Zum Tutorial

PetriEdiSim

Tutorial zum Thema "Petri-Netze"
Index (Stichwortverzeichnis)




Index     (Stichwortverzeichnis)


Dieses Stichwortverzeichnis ist aphabetisch sortiert und enthält alle Begriffe die innerhalb des Tutorials beschrieben werden. Die einzelnen Stichwörter können direkt angeklickt werden. Daraufhin wird die Stelle im Tutorial angezeigt an der der gesuchte Begriff erläutert wird.

Zusätzlich enthält Kapitel 3 ein Glossar in dem die wichtigsten Begriffe kurz und umgangssprachlich beschrieben sind.



A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z


A Äquivalenz-Relation
abstraktes Netz
Abstraktion
Aktion (Automat)
Aktion (Petri-Netz)
Aktion, intern
Alphabet
Alternative
Analyse von Netzen
Anfangsmarkierung
Anfangszustand
Anwendungsbeispiele
Ausgabemenge
Ausführung von Transitionen
Ausführung, parallel
Automat
Automaten als Prozeßmodell


B Beispiele
Beweis von Netz-Eigenschaften


D Definition (Petri-Netz)
Differenz (Multimenge)
Dymanisches Verhalten


E Eigenschaften eines Netzes
Eigenschaften von S-Invarianten
Eingabemenge
Erreichbarkeit
Erreichbarkeitsgraph
erreichbare Markierung
erreichbare Plätze


F Fall
Flußrelation


G gewichtete Tokenanzahl
Graph, markiert
Graphische Darstellung (Automat)
Graphische Darstellung (Petri-Netz)


H Hülle, transitive


I Inklusion (Multimenge)
Interleaving-Fallgraph
Invarianz (Satz)
Isomorphie, schwache


K Kommunikation
Kommunikationsalphabet (Automat)
Kommunikationsalphabet (Petri-Netz)
Kompositionalität
Kreis


L Lebendigkeit
Lebendigkeit (Satz)


M markierter Graph
Markierung
Matrix
Matrix, transponierte
Matrizendarstellung von Netzen
Milner-Scheduler
Multimenge
MUTEX (Beispielnetz)


N Nachbereich
Nachbereich eines Platzes
Nachfolgemarkierung
Nachteile von Netzen
Netz
Netz, abstraktes
Netz, lebendig


P Parallelität
Parallelität, unbeschränkt
Petri-Netz
Petri-Netz allgemein
Pfad im Netz
Platz
Produkt (Matrix)
Produkt mit Skalaren


S Schalten von Transitionen
Scheduler (Milner-)
Schlingen
schlingenfrei
Schritt
Schrittrelation
schwach isomorph
Sequentialität
S-Invariante
S-Invarianten (Eigenschaften)
sicher
Sicherheit
Sicherheit, hinreichende Bedingung
Sicherheit, statisch ablesbar
Skalarprodukt
Struktureigenschaften
Synchronisation
Synchronisationsgraph
Synchronisationsgraph (Eigenschaften)


T Tokenanzahl
Tokenanzahl, gewichtet
Tokenspiel
Transition (Automat)
Transition (Petri-Netz)
Transition, global
Transition, lebendig
Transitionsrelation
transitive Hülle


V Vektor
Vektoraddition
Vereinigung (Multimenge)
Vorbereich
Vorbereich eines Platzes

W Wechselseitiger Ausschluß

Z zusammenhängend
Zustand (Automat)
Zustand, global
Zustandsdiagramm
Zweier-Zähler
Zyklus



  Zum Tutorial


© Copyright Oktober 1997 by Petra Hornstein