 Mehrere Fragen zu Petri-Netzen |
Boastii
Grünschnabel
Dabei seit: 11.08.2012
Beiträge: 1
 |
|
| Mehrere Fragen zu Petri-Netzen |
     |
Hey Leute,
so ich habe ein paar Fragen zu Petri-Netzen:
Bin ich schon an der Definition hängen geblieben, habe in Wikipedia mir den Artikel angeschaut und da werden als Definition von einem P/T-Netz (P,T,F,W,m0) mit F=Kantenfunktion benutzt, dagegen schreibt mein Lektüre (Theoretische Informatik Petri-Netze 2003) Als Definition: P/T- Netz (P,T, F,B) mit F= forward Matrix und B= backward- Matrix. Was bedeutet nun das W und das m0 beim wikipedia Artikel?
Was genau gibt die Kantenfunktion F an? Kommen da natürliche Zahlen raus oder auch nur Mengen? Eigentlich gibt doch die backward-Matrix und die forward-Matrix auch die Kanten an oder nicht? Kann ich mir die Kantenfunktion auch in einem Koordinatensystem vorstellen?
Kennt Ihr einen nützlichen Link hierzu oder auch ein gut verständliches Buch, welches Ihr mir empfehlen könnt?
So noch eine Frage über die Symbolik:
1: Was ist der Unterschied zwischen " = " und " := " ??
Danke schon einmal im Vorraus für Eure Antworten.
|
|
11.08.2012 11:20 |
|
|
Karlito 
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hallöchen,
ich habe leider auch nur ganz grobe Grundlagen zu Petrinetzen, deswegen nur das was ich selbst aus den Definitionen lesen kann (die Wikipedia-Definition):
- W ist eine Funktion, die jeder Kante ein Gewicht zuordnet. Diese Gewichte sind natürliche Zahlen. D.h. W ist eine Abbildung aus der Menge der Kanten in die Menge der natürlichen Zahlen.
![[latex]m_0[/latex]](http://www.matheboard.de/latex2png/latex2png.php?m_0) ist die Anfangsbelegung. D.h. an welchen Stellen befinden sind initial Token und wie viele
- Das = steht für Gleichheit. Und das := für eine Zuweisung oder Vereinbarung. Bsp: i=i+1 als Gleichheit ist sinnlos. i:=i+1 weist i den Nachfolger von sich selbst zu.
VG,
Karlito
|
|
|
11.08.2012 14:55 |
|
|
|
