×

zbMATH — the first resource for mathematics

Lomazova, Irina A.

Compute Distance To:
Author ID: lomazova.irina-a Recent zbMATH articles by "Lomazova, Irina A."
Published as: Lomazova, I. A.; Lomazova, Irina; Lomazova, Irina A.
External Links: ORCID
Documents Indexed: 36 Publications since 1986, including 1 Book

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 46 times in 21 Documents Cited by Year
Nested Petri nets – a formalism for specification and verification of multi-agent distributed systems. Zbl 0965.68062
Lomazova, Irina A.
8
2000
Some decidability results for nested Petri nets. Zbl 0964.68094
Lomazova, Irina A.; Schnoebelen, Philippe
6
2000
Nested Petri nets: modeling and analysis of distributed systems with object structure. Zbl 1105.68086
Lomazova, I. A.
5
2004
Checking properties of adaptive workflow nets. Zbl 1124.68062
van Hee, Kees; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc; Lomazova, Irina A.
4
2007
Nested nets for adaptive systems. Zbl 1234.68314
van Hee, Kees M.; Lomazova, Irina A.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc
4
2006
Nested Petri nets: Multi-level and recursive systems. Zbl 1052.68091
Lomazova, Irina A.
4
2001
Nested Petri nets for adaptive process modeling. Zbl 1133.68385
Lomazova, Irina A.
3
2008
On compositionality of boundedness and liveness for nested Petri nets. Zbl 1277.68181
Dworzański, Leonid W.; Lomazova, Irina A.
2
2012
Modeling dynamic objects in distributed systems with nested Petri nets. Zbl 1003.68104
Lomazova, Irina A.
2
2002
Discovery of cancellation regions within process mining techniques. Zbl 1302.68202
Kalenkova, Anna A.; Lomazova, Irina A.
1
2014
Analyzing compatibility of services via resource conformance. Zbl 1285.68015
Lomazova, Irina A.; Romanov, Ivan V.
1
2013
Cellular resource-driven automata. Zbl 1254.68269
Bashkin, Vladimir A.; Lomazova, Irina A.
1
2012
Modelling multiagent systems with the help of generalized nets of active resources. Zbl 1298.68271
Bashkin, V. A.; Lomazova, I. A.
1
2011
Resource driven automata nets. Zbl 1235.68107
Bashkin, Vladimir A.; Lomazova, Irina A.
1
2011
Resource bisimulation in Petri nets. Zbl 1110.68415
Bashkin, V. A.; Lomazova, I. A.
1
2003
Petri nets and resource bisimulation. Zbl 1111.68531
Bashkin, Vladimir A.; Lomazova, Irina A.
1
2003
Causal semantics for Petri nets with contacts. Zbl 0977.68062
Lomazova, I. A.
1
1999
Discovery of cancellation regions within process mining techniques. Zbl 1302.68202
Kalenkova, Anna A.; Lomazova, Irina A.
1
2014
Analyzing compatibility of services via resource conformance. Zbl 1285.68015
Lomazova, Irina A.; Romanov, Ivan V.
1
2013
On compositionality of boundedness and liveness for nested Petri nets. Zbl 1277.68181
Dworzański, Leonid W.; Lomazova, Irina A.
2
2012
Cellular resource-driven automata. Zbl 1254.68269
Bashkin, Vladimir A.; Lomazova, Irina A.
1
2012
Modelling multiagent systems with the help of generalized nets of active resources. Zbl 1298.68271
Bashkin, V. A.; Lomazova, I. A.
1
2011
Resource driven automata nets. Zbl 1235.68107
Bashkin, Vladimir A.; Lomazova, Irina A.
1
2011
Nested Petri nets for adaptive process modeling. Zbl 1133.68385
Lomazova, Irina A.
3
2008
Checking properties of adaptive workflow nets. Zbl 1124.68062
van Hee, Kees; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc; Lomazova, Irina A.
4
2007
Nested nets for adaptive systems. Zbl 1234.68314
van Hee, Kees M.; Lomazova, Irina A.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc
4
2006
Nested Petri nets: modeling and analysis of distributed systems with object structure. Zbl 1105.68086
Lomazova, I. A.
5
2004
Resource bisimulation in Petri nets. Zbl 1110.68415
Bashkin, V. A.; Lomazova, I. A.
1
2003
Petri nets and resource bisimulation. Zbl 1111.68531
Bashkin, Vladimir A.; Lomazova, Irina A.
1
2003
Modeling dynamic objects in distributed systems with nested Petri nets. Zbl 1003.68104
Lomazova, Irina A.
2
2002
Nested Petri nets: Multi-level and recursive systems. Zbl 1052.68091
Lomazova, Irina A.
4
2001
Nested Petri nets – a formalism for specification and verification of multi-agent distributed systems. Zbl 0965.68062
Lomazova, Irina A.
8
2000
Some decidability results for nested Petri nets. Zbl 0964.68094
Lomazova, Irina A.; Schnoebelen, Philippe
6
2000
Causal semantics for Petri nets with contacts. Zbl 0977.68062
Lomazova, I. A.
1
1999

Citations by Year