Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Birgit Pröll. Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets. IJPEDS, 37(1):1-21, 2022. [doi]

Abstract

Abstract is missing.