Jede EPK beginnt mit einem Startereignis
Jede EPK endet mit einem Endereignis
Nach einem Ereignis folgt entweder eine Funktion oder ein Konnektor (Ausnahme: Endereignis)
Nach einer Funktion folgt entweder ein Ereignis oder ein Konnektor.
Pfade müssen mit dem Konnektor, mit dem verzweigt wurde, wieder zusammengeführt werden.
Jedes Ereignis hat genau eine eingehende und genau eine ausgehende Kante (Ausnahme: Start- und Endereignis).
Jede Funktion hat genau eine eingehende und genau eine ausgehende Kante.
Ein Konnektor hat entweder
mehrere eingehende und genau eine ausgehende Kante oder
genau eine und mehrere ausgehende Kanten.
