What is the abbreviation for Stochastic automata network?

Looking for the shorthand of Stochastic automata network or how to abbreviate it? We have 2 shorthands for Stochastic automata network.