Structuring acyclic process models

Polyvyanyy, Artem, Garcia-Banuelos, Luciano, & Dumas, Marlon (2012) Structuring acyclic process models. Information Systems, 37(6), pp. 518-538.

View at publisher


This article studies the problem of transforming a process model with an arbitrary topology into an equivalent well-structured process model. While this problem has received significant attention, there is still no full characterization of the class of unstructured process models that can be transformed into well-structured ones, nor an automated method for structuring any process model that belongs to this class. This article fills this gap in the context of acyclic process models. The article defines a necessary and sufficient condition for an unstructured acyclic process model to have an equivalent well-structured process model under fully concurrent bisimulation, as well as a complete structuring method. The method has been implemented as a tool that takes process models captured in the BPMN and EPC notations as input. The article also reports on an empirical evaluation of the structuring method using a repository of process models from commercial practice.

Impact and interest:

30 citations in Scopus
Search Google Scholar™
23 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 70688
Item Type: Journal Article
Refereed: Yes
Additional URLs:
Keywords: Process modeling, Structured modeling, Structuring, Model equivalence, Petri net unfolding, Modular decomposition
DOI: 10.1016/
ISSN: 0306-4379
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > DISTRIBUTED COMPUTING (080500)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 29 Apr 2014 22:31
Last Modified: 02 May 2014 00:40

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page