@article{DBLP:journals/acta/PolyvyanyyWW11,
  author    = {Artem Polyvyanyy and
               Matthias Weidlich and
               Mathias Weske},
  title     = {Connectivity of workflow nets: the foundations of stepwise verification},
  journal   = {Acta Informatica},
  volume    = {48},
  number    = {4},
  pages     = {213--242},
  year      = {2011},
  url       = {https://doi.org/10.1007/s00236-011-0137-8},
  doi       = {10.1007/s00236-011-0137-8},
  timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/acta/PolyvyanyyWW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  pdf       = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/polyvyanyy_acta_2011_connectivity_workflow_nets.pdf}
}