The following publications are possibly variants of this publication:
- Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri netsDmitry A. Zaitsev, Tatiana R. Shmeleva, Birgit Pröll. paapp, 37(1):1-21, 2022. [doi]
- Verification of hypertorus communication grids by infinite petri nets and process algebraDmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote. ieeejas, 6(3):733-742, 2019. [doi]
- Infinite Petri Nets: Part 1, Modeling Square Grid StructuresDmitry A. Zaitsev, Dmitry Zaitsev 0001, Tatiana R. Shmeleva. compsys, 26(2), 2017. [doi]