@article{PolyvyanyyGarciaBanuelosFahlandetal.2014,
  author    = {Polyvyanyy, Artem and Garcia-Banuelos, Luciano and Fahland, Dirk and Weske, Mathias},
  title     = {Maximal structuring of acyclic process models},
  series = {The computer journal : a publication of the British Computer Society},
  volume    = {57},
  journal   = {The computer journal : a publication of the British Computer Society},
  number    = {1},
  publisher = {Oxford Univ. Press},
  address   = {Oxford},
  issn      = {0010-4620},
  doi       = {10.1093/comjnl/bxs126},
  pages     = {12 -- 35},
  year      = {2014},
  abstract  = {This article addresses the transformation of a process model with an arbitrary topology into an equivalent structured process model. In particular, this article studies the subclass of process models that have no equivalent well-structured representation but which, nevertheless, can be partially structured into their maximally-structured representation. The transformations are performed under a behavioral equivalence notion that preserves the observed concurrency of tasks in equivalent process models. The article gives a full characterization of the subclass of acyclic process models that have no equivalent well-structured representation, but do have an equivalent maximally-structured one, as well as proposes a complete structuring method. Together with our previous results, this article completes the solution of the process model structuring problem for the class of acyclic process models.},
  language  = {en}
}