For the most recent entries see the
Petri Nets Newsletter.
van Hee, K.
-
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.
-
Billington, Jonathan;
Christensen, Søren;
van Hee, Kees;
Kindler, Ekkart;
Kummer, Olaf;
Petrucci, Laure;
Post, Reinier;
Stehno, Christian;
Weber, Michael:
The Petri Net Markup Language: Concepts, Technology, and Tools.
2003.
-
van Hee, Kees;
Sidorova, Natalia;
Voorhoeve, Marc:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.
2003.
-
Chaudron, Michel;
van Hee, Kees;
Somers, Lou:
Use Cases as Workflows.
2003.
-
van der Aalst, Wil M.P.;
van Hee, Kees:
Workflow Management: Models, Methods, and Systems.
2002.
-
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