Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Enterprise modelling and information systems architectures (EMISA 2011) P-190, 65-78 (2011).

Gesellschaft für Informatik, Bonn
2011


Copyright © Gesellschaft für Informatik, Bonn

Contents

Workflow nets with roles

Robin Bergenthum , Jörg Desel and Sebastian Mauser

Abstract


We formalize the usual static role concept for workflow nets, introduce dynamic roles and define soundness as well as a second correctness criterion, called consistency, for workflow nets with roles. We study the relation between the notions of consistency and soundness of workflow nets with and without roles. In particular, we show that a sound workflow net extended by consistent roles is again sound.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-284-0


Last changed 04.10.2013 18:36:21