Abstract:
The paper is concerned with design of assuredly regular (“live” and “secure”) Perti nets of arbitrary dimension made of blocks whose regularity is easy to establish. The necessary and sufficient conditions for regularity of Petri nets and some topological properties of regular blocks are found.