State machine to support concurrent message streams

摘要

A system and method for supporting concurrent message streams. The state machine is used for modeling a digital system having several states. The states represent messages in the digital system. Added to the state machine is a regressive state. The regressive state is connected to each of the states and all transitions between the states go through the regressive state. Also, queues are provided with the state machine to facilitate the concurrent message streams. A queue may be provided with each state so that if multiple message streams are at a single state, they may be stored in the queue provided with the state. Alternatively, a queue may be provided with each message stream so that each queue can keep track of the state at which the corresponding message stream is located.