{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:44:20Z","timestamp":1709203460640},"reference-count":9,"publisher":"University of Zielona G\u00f3ra, Poland","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9,1]]},"abstract":"<jats:title>Numbering action vertices in workflow graphs<\/jats:title><jats:p>Workflow graphs, consisting of actions, events, and logical switches, are used to model business processes. In order to easily identify the actions within a workflow graph, it is useful to number them in such a way that the numbering reflects the structure of the workflow. However, available tools offer only rudimental numbering schemes. In the paper, a set of natural requirements is defined that a logical numbering should fulfill. It is investigated under what conditions there is an appropriate numbering at all, when it is uniquely defined by the set of requirements, and when it can be computed efficiently. It is shown that for an important special class of workflow graphs, namely, structured workflow graphs, the answer to all these questions is affirmative. For general workflow graphs, a set of requirements is presented that can always be fulfilled, but the numbering is not necessarily unique. An algorithm based on a depth-first search can be used to compute an appropriate numbering efficiently.<\/jats:p>","DOI":"10.2478\/v10006-010-0044-0","type":"journal-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T01:01:44Z","timestamp":1285635704000},"page":"591-600","source":"Crossref","is-referenced-by-count":0,"title":["Numbering action vertices in workflow graphs"],"prefix":"10.61822","volume":"20","author":[{"given":"Zolt\u00e1n","family":"Mann","sequence":"first","affiliation":[]}],"member":"37438","reference":[{"key":"1","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"2001"},{"issue":"3","key":"2","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","article-title":"Fundamentals of control flow in workflows","volume":"39","author":"B. Kiepuszewski","year":"2003","journal-title":"Acta Informatica"},{"key":"3","unstructured":"Microsoft Corporation (2010). Microsoft Office Visio: Number the shapes in a flowchart <a target=\"_blank\" href='http:\/\/office.microsoft.com\/en-us\/visio\/HP866500731033.aspx'>http:\/\/office.microsoft.com\/en-us\/visio\/HP866500731033.aspx<\/a>"},{"key":"4","unstructured":"RFF Electronics (2004). RFFlow user's guide <a target=\"_blank\" href='http:\/\/www.rff.com'>http:\/\/www.rff.com<\/a>"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-57108-4","volume-title":"ARIS\u2014Business Process Modeling","author":"A.-W. Scheer","year":"2000"},{"key":"6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/0471741442.ch6","volume-title":"Process-Aware Information Systems","author":"A.-W. Scheer","year":"2005"},{"issue":"10","key":"7","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","article-title":"Formalization and verification of event-driven process chains","volume":"41","author":"W. van der Aalst","year":"1999","journal-title":"Information and Software Technology"},{"issue":"9","key":"8","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","article-title":"The refined process structure tree","volume":"68","author":"J. Vanhatalo","year":"2009","journal-title":"Data & Knowledge Engineering"},{"key":"9","first-page":"102","article-title":"Beyond soundness: On the semantic consistency of executable process models","author":"I. Weber","year":"2008"}],"container-title":["International Journal of Applied Mathematics and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/amcs\/20\/3\/article-p591.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/amcs.2010.20.issue-3\/v10006-010-0044-0\/v10006-010-0044-0.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:27:55Z","timestamp":1709202475000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10006-010-0044-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,1]]},"references-count":9,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.2478\/v10006-010-0044-0","relation":{},"ISSN":["1641-876X"],"issn-type":[{"value":"1641-876X","type":"print"}],"subject":[],"published":{"date-parts":[[2010,9,1]]}}}