| 2008 |
|---|
| 16 | EE | Irina A. Lomazova:
Nested Petri Nets for Adaptive Process Modeling.
Pillars of Computer Science 2008: 460-474 |
| 2007 |
|---|
| 15 | EE | Kees M. van Hee,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve,
Irina A. Lomazova:
Checking Properties of Adaptive Workflow Nets.
Fundam. Inform. 79(3-4): 347-362 (2007) |
| 2006 |
|---|
| 14 | EE | Kees M. van Hee,
Irina A. Lomazova,
Olivia Oanea,
Alexander Serebrenik,
Natalia Sidorova,
Marc Voorhoeve:
Nested Nets for Adaptive Systems.
ICATPN 2006: 241-260 |
| 2005 |
|---|
| 13 | EE | Vladimir A. Bashkin,
Irina A. Lomazova:
Similarity of Generalized Resources in Petri Nets.
PaCT 2005: 27-41 |
| 2004 |
|---|
| 12 | EE | Irina A. Lomazova:
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure.
Fundam. Inform. 60(1-4): 225-235 (2004) |
| 2003 |
|---|
| 11 | EE | Irina A. Lomazova:
Interacting Automata for Modelling Distributed Systems.
International Conference on Computational Science 2003: 851-860 |
| 10 | EE | Vladimir A. Bashkin,
Irina A. Lomazova:
Petri nets and resource bisimulation.
Fundam. Inform. 55(2): 101-114 (2003) |
| 2002 |
|---|
| 9 | | Irina A. Lomazova:
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets.
Fundam. Inform. 51(1-2): 121-133 (2002) |
| 2001 |
|---|
| 8 | EE | Berndt Farwer,
Irina A. Lomazova:
A Systematic Approach towards Object-Based Petri Net Formalisms.
Ershov Memorial Conference 2001: 255-267 |
| 7 | | Irina A. Lomazova:
Nested Petri Nets: Multi-level and Recursive Systems.
Fundam. Inform. 47(3-4): 283-293 (2001) |
| 6 | EE | Irina A. Lomazova:
Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility.
Programming and Computer Software 27(4): 183-193 (2001) |
| 2000 |
|---|
| 5 | | Irina A. Lomazova:
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.
Fundam. Inform. 43(1-4): 195-214 (2000) |
| 1999 |
|---|
| 4 | EE | Irina A. Lomazova,
Ph. Schnoebelen:
Some Decidability Results for Nested Petri Nets.
Ershov Memorial Conference 1999: 208-220 |
| 1997 |
|---|
| 3 | | Irina A. Lomazova:
On Occurrence Net Semantics for Petri Nets with Contacts.
FCT 1997: 317-328 |
| 2 | | Irina A. Lomazova:
On Proving Large Distributed Systems: Petri Net Modules Verification.
PaCT 1997: 70-75 |
| 1987 |
|---|
| 1 | | Irina A. Lomazova:
Procedural Implementation of Algebraic Specifications of Abstract Data Types.
FCT 1987: 288-292 |
