Resource-constrained workflow nets

K.M. Hee, van, N. Sidorova, M. Voorhoeve

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of Concurrency Specification and Programming (CS&P'2004, Caputh, Germany, September 24-26, 2004), Informatik-Bericht Nr.170
EditorsG. Lindemann
Place of PublicationBerlin, Germany
PublisherHumboldt-Universität zu Berlin
Pages166-177
Publication statusPublished - 2004

Fingerprint

Dive into the research topics of 'Resource-constrained workflow nets'. Together they form a unique fingerprint.

Cite this