Folien als PDF
Folien als PDF
Folien als PDF
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
... Petri-Netz<br />
Methodischer Entwurf eingebetteter Systeme<br />
Modelle und Begriffe<br />
• Allgemeines, weit verbreitetes Model mit vielen unterschiedlichen<br />
Ausprägungen<br />
z.B. Markierte Graphen:<br />
• Jeder Platz hat nur einen Eingang und einen Ausgang.<br />
• Die Kapazität der Stellen ist immer 1.<br />
• Eine Vielzahl von Eigenschaften ist mathematisch belegbar, z. B.<br />
• Sicherheit<br />
(Zahl der Marken steigt nicht ins Unendliche)<br />
• Lebendigkeit<br />
(keine Verklemmungen)<br />
Benannt nach dem Mathematiker C. A. Petri<br />
S. A. Huss / Folie 3-8