There are different transition types in KIELER SyncCharts, which are "weak abortion", "strong abortion", or "normal termination". The "weak abortion" transitions are simple black arrows. The "strong abortion" transitions feature a little red circle at their start point, and the "normal termination" transitions have a little green triangle in the same place.