| dc.contributor.author | Bergenthum, Robin | |
| dc.contributor.author | Desel, Jörg | |
| dc.contributor.author | Mauser, Sebastian | |
| dc.contributor.editor | Nüttgens, Markus | |
| dc.contributor.editor | Thomas, Oliver | |
| dc.contributor.editor | Weber, Barbara | |
| dc.date.accessioned | 2018-11-27T09:50:24Z | |
| dc.date.available | 2018-11-27T09:50:24Z | |
| dc.date.issued | 2011 | |
| dc.identifier.isbn | 978-3-88579-284-0 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/18525 | |
| dc.description.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. | en |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Enterprise modelling and information systems architectures (EMISA 2011) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-190 | |
| dc.title | Workflow nets with roles | en |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 65-78 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Hamburg | |
| mci.conference.date | September 22-23, 2011 | |
