| Popis: |
Petri-Netze wurden zur Modellierung und Analyse diskreter Systeme mit nebenlaufigen und nicht-deterministischen Ablaufen entwickelt. Sie sind benannt nach ihrem Erfinder Carl Adam Petri , der 1962 in seiner Dissertation die ersten grundlegenden Konzepte veroffentlichte [Pet62]. Zwei wesentliche Ideen dabei sind, dass zum einen Information einen Trager besitzt, welcher sich mit endlicher Geschwindigkeit bewegt, sodass es sinnvoll ist, diesen Trager ins Modell aufzunehmen. Und zweitens betreffen Aktionen immer nur einen Teil des Zustandsraums (man spricht auch vom Lokalitatsprinzip), sodass es sinnvoll ist, die raumliche Verteilung ins Modell mit aufzunehmen. |
