Petri-Netz

Petri-Netz, von C. A. Petri 1962 vorgeschlagene modellmäßige grafische Darstellung zur Beschreibung und Analyse von Abläufen mit nebenläufigen Prozessen und nicht deterministischen Vorgängen. Dabei sind nach der allgemeingültigen Definition unter nebenläufigen Prozessen solche zu verstehen, die paarweise wechselseitig unabhängig voneinander sind (ohne jedoch gleichzeitig sein zu müssen; die