For the most recent entries see the
Petri Nets Newsletter.
Keyword: soundness
-
van Hee, Kees;
Sidorova, Natalia;
Voorhoeve, Marc:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.
2003.
-
Bradfield, J.C.:
Proving Temporal Properties of Petri Nets.
1990.
-
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.
Back to the Petri Nets Bibliography