[tadfisher]

Hence the many mentions of statecharts in the linked document. A graph written using your library would translate trivially to a statechart.