generic class for modeling automatons
Since this is used in so many extensions from both model and native code,
it seems appropriate to add a basis implementation to util.
To make it more amenable to modeling (e.g. for native peer implementation),
we avoid using standard Java containers at the expense of efficiency for
large numbers of states and transitions