Beschreibung nebenläufiger Prozesse

Zusammenfassung

Automaten-Modelle beschreiben sequentielle Prozesse. In der realen Welt laufen aber häufig mehrere unabhängige Prozesse nebenläufig (nicht notwendig zeitlich parallel) ab, die gelegentlich untereinander Informationen austauschen und/oder sich synchronisieren (d. h. aufeinander warten).