Petri nets? Those can be cyclical though - i don't know if there is a special name for acyclical nets.

Yet another instance of this is the Disruptor patter that use it in an event queue.