Logo des Repositoriums
 

Workflow nets with roles

dc.contributor.authorBergenthum, Robin
dc.contributor.authorDesel, Jörg
dc.contributor.authorMauser, Sebastian
dc.contributor.editorNüttgens, Markus
dc.contributor.editorThomas, Oliver
dc.contributor.editorWeber, Barbara
dc.date.accessioned2018-11-27T09:50:24Z
dc.date.available2018-11-27T09:50:24Z
dc.date.issued2011
dc.description.abstractWe 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.en
dc.identifier.isbn978-3-88579-284-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/18525
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofEnterprise modelling and information systems architectures (EMISA 2011)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-190
dc.titleWorkflow nets with rolesen
dc.typeText/Conference Paper
gi.citation.endPage78
gi.citation.publisherPlaceBonn
gi.citation.startPage65
gi.conference.dateSeptember 22-23, 2011
gi.conference.locationHamburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
65.pdf
Größe:
198.44 KB
Format:
Adobe Portable Document Format