• DOI:10.1007/11494744_15
Corpus ID: 14044362

Soundness of Resource-Constrained Workflow Nets

@inproceedings{Hee2005SoundnessOR,
  title={Soundness of Resource-Constrained Workflow Nets},
  author={K. V. Hee and Alexander Serebrenik and N. Sidorova and M. Voorhoeve},
  booktitle={ICATPN},
  year={2005}
}

K. V. Hee, Alexander Serebrenik, +1 author M. Voorhoeve

Published in ICATPN 2005

Computer Science

View via Publisher

win.tue.nl

Save to Library

Create Alert

Cite

Launch Research Feed

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.