Petri-net Petri net

Toestandsmodel en grafische notatie voor parallelle activiteiten, bestaande uit toestanden en overgangen daartussen.