For the most recent entries see the
Petri Nets Newsletter.
Sidorova, N.
-
van Hee, Kees M.;
Lomazova, Irina A.;
Oanea, Olivia;
Serebrenik, Alexander;
Sidorova, Natalia;
Voorhoeve, Marc:
Nested Nets for Adaptive Systems.
2006.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
van Hee, Kees;
Serebrenik, Alexander;
Sidorova, Natalia;
Voorhoeve, Marc:
Soundness of Resource-Constrained Workflow Nets.
2005.
-
van Hee, Kees;
Sidorova, Natalia;
Voorhoeve, Marc:
Generalised Soundness of Workflow Nets Is Decidable.
2004.
-
van Hee, K.;
Sidorova, N.;
Voorhoeve, M.:
Resource-Constrained Workflow Nets.
2004.
-
van Hee, Kees;
Sidorova, Natalia;
Somers, Lou;
Voorhoeve, Marc:
Consistency in Model Integration.
2004.
-
van Hee, Kees;
Sidorova, Natalia;
Voorhoeve, Marc:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.
2003.
-
Sidorova, N.;
Voorhoeve, M.;
Woude, J.C.S.P. van der:
A Calculus of Petri Net Components.
2001.
-
Schnoebelen, Philippe;
Sidorova, Natalia:
Bisimulation and the Reduction of Petri Nets.
2000.
-
van Hee, K.;
Lomazova, I.A.;
Oanea, O.;
Serebrenik, A.;
Sidorova, N.;
Voorhoeve, M.:
Checking properties of Adaptive Workflow Nets.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography