Hinweise zu Automaten und Petri- Netzen	Druckerfreundliche Version
Was ist bei der Modellierung eines Automaten zu beachten:
- Von jedem Zustand muss jeweils ein Pfeil für jeden möglichen Input wegführen
- Jeder Zustand muss erreicht werden können
Was ist bei der Modellierung von Petri- Netzen zu beachten:
1. Modellierung der Zustände, die den Sachverhalt beschreiben
2. Welche Restriktionen sind zu beachten? (Regelung mit zusätzlichem Zustand und bestimmter Menge von Marken)
3. Marken setzen (Startzustand)
formale Kiterien beachten!
-Pfeil beginnt bei Zustand und Endet bei Übergang!
Diese Liste ist noch UNVOLLSTÄNDIG und wird bei Bedarf ergänzt
	17.06.01