Suvorov Nikolai Mikhailovich

Publications in Math-Net.Ru

1. Relaxed lazy soundness verification for data Petri nets
   
   Proceedings of ISP RAS, 37:4(2) (2025),  69–84
2. A multilayer approach to subgraph matching in HP-graphs
   
   Proceedings of ISP RAS, 33:4 (2021),  163–176
3. HP-graph as a basis of a DSM platform visual model editor
   
   Proceedings of ISP RAS, 32:2 (2020),  149–160
4. Examples of certain quasigroups and loops that permit only the discrete topologization
   
   Sibirsk. Mat. Zh., 17:2 (1976),  471–473