The paper “Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra” by Zaitsev, Shmeleva and Groote has been accepted for the IEEE/CAA journal of Automatica Sinica.