Doctoral seminars

< back

Tuesday, April 12, 2005 14h (Celestijnenlaan 200A, room 03.14: Cafetaria)

Soundness of Resource-Constrained Workflow Nets

by Alexander Serebrenik (T.U. Eindhoven)

Abstract:

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.