Tuesday, April 12, 2005 14h (Celestijnenlaan 200A, room 03.14: Cafetaria)
Soundness of Resource-Constrained Workflow Nets
by Alexander Serebrenik (T.U. Eindhoven)
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient initial number of resources, all cases in the net are guaranteed to terminate successfully, no matter which schedule is used. We give a necessary and sufficient condition for soundness and an algorithm that checks it.
Joined work with Kees van Hee, Natalia Sidorova and Marc Voorhoeve.