Modeling of the MiMa-algorithm for crossbar switch by means of Generalized Nets | IEEE Conference Publication | IEEE Xplore