×

zbMATH — the first resource for mathematics

Sidorova, Natalia

Compute Distance To:
Author ID: sidorova.natalia Recent zbMATH articles by "Sidorova, Natalia"
Published as: Sidorova, N.; Sidorova, Natalia
Homepage: http://www.win.tue.nl/~sidorova/
External Links: dblp
Documents Indexed: 34 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 58 times in 38 Documents Cited by Year
Soundness of workflow nets: classification, decidability, and analysis. Zbl 1225.68129
van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.
17
2011
Generalised soundness of workflow nets is decidable. Zbl 1094.68070
van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc
7
2004
Soundness and separability of workflow nets in the stepwise refinement approach. Zbl 1274.68263
van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc
5
2003
Can I find a partner? Undecidability of partner existence for open nets. Zbl 1191.68442
Massuthe, Peter; Serebrenik, Alexander; Sidorova, Natalia; Wolf, Karsten
4
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
Soundness of resource-constrained workflow nets. Zbl 1128.68391
van Hee, Kees; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc
4
2005
A framework for linking and pricing no-cure-no-pay services. Zbl 1235.68040
van Hee, K. M.; Verbeek, H. M. W.; Stahl, Christian; Sidorova, N.
2
2009
Verifying generalized soundness of workflow nets. Zbl 1185.68452
van Hee, Kees; Oanea, Olivia; Sidorova, Natalia; Voorhoeve, Marc
2
2007
Timed verification with \(\mu \)CRL. Zbl 1254.68145
Blom, Stefan; Ioustinova, Natalia; Sidorova, Natalia
2
2003
Bisimulation and the reduction of Petri nets. Zbl 0986.68074
Schnoebelen, Philippe; Sidorova, Natalia
2
2000
Soundness of workflow nets with reset ARCS. Zbl 1266.68140
van der Aalst, Wil M. P.; van Hee, Kees M.; ter Hofstede, Arthur H. M.; Sidorova, Natalia; Verbeek, H. M. W.; Voorhoeve, Marc; Wynn, Moe T.
1
2009
Generation of database transactions with Petri nets. Zbl 1191.68260
van Hee, Kees M.; Sidorova, Natalia; Voorhoeve, Marc; van der Werf, Jan Martijn
1
2009
Compositional service trees. Zbl 1242.68190
van der Aalst, Wil M. P.; van Hee, Kees M.; Massuthe, Peter; Sidorova, Natalia; van der Werf, Jan Martijn
1
2009
Resource-constrained workflow nets. Zbl 1095.68071
van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc
1
2006
Using fairness to make abstractions work. Zbl 1125.68361
Bošnački, Dragan; Ioustinova, Natalia; Sidorova, Natalia
1
2004
Soundness of workflow nets: classification, decidability, and analysis. Zbl 1225.68129
van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.
17
2011
A framework for linking and pricing no-cure-no-pay services. Zbl 1235.68040
van Hee, K. M.; Verbeek, H. M. W.; Stahl, Christian; Sidorova, N.
2
2009
Soundness of workflow nets with reset ARCS. Zbl 1266.68140
van der Aalst, Wil M. P.; van Hee, Kees M.; ter Hofstede, Arthur H. M.; Sidorova, Natalia; Verbeek, H. M. W.; Voorhoeve, Marc; Wynn, Moe T.
1
2009
Generation of database transactions with Petri nets. Zbl 1191.68260
van Hee, Kees M.; Sidorova, Natalia; Voorhoeve, Marc; van der Werf, Jan Martijn
1
2009
Compositional service trees. Zbl 1242.68190
van der Aalst, Wil M. P.; van Hee, Kees M.; Massuthe, Peter; Sidorova, Natalia; van der Werf, Jan Martijn
1
2009
Can I find a partner? Undecidability of partner existence for open nets. Zbl 1191.68442
Massuthe, Peter; Serebrenik, Alexander; Sidorova, Natalia; Wolf, Karsten
4
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
Verifying generalized soundness of workflow nets. Zbl 1185.68452
van Hee, Kees; Oanea, Olivia; Sidorova, Natalia; Voorhoeve, Marc
2
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
Resource-constrained workflow nets. Zbl 1095.68071
van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc
1
2006
Soundness of resource-constrained workflow nets. Zbl 1128.68391
van Hee, Kees; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc
4
2005
Generalised soundness of workflow nets is decidable. Zbl 1094.68070
van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc
7
2004
Using fairness to make abstractions work. Zbl 1125.68361
Bošnački, Dragan; Ioustinova, Natalia; Sidorova, Natalia
1
2004
Soundness and separability of workflow nets in the stepwise refinement approach. Zbl 1274.68263
van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc
5
2003
Timed verification with \(\mu \)CRL. Zbl 1254.68145
Blom, Stefan; Ioustinova, Natalia; Sidorova, Natalia
2
2003
Bisimulation and the reduction of Petri nets. Zbl 0986.68074
Schnoebelen, Philippe; Sidorova, Natalia
2
2000

Citations by Year