Irina A. Lomazova Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2000, v:43, n:1-4, pp:195-214 [Journal]
Irina A. Lomazova Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2002, v:51, n:1-2, pp:121-133 [Journal]
Irina A. Lomazova Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:60, n:1-4, pp:225-235 [Journal]
Irina A. Lomazova Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. [Citation Graph (0, 0)][DBLP] Programming and Computer Software, 2001, v:27, n:4, pp:183-193 [Journal]