@article{DangMoeller2015,
  author    = {Han-Hing Dang and Bernhard M{\"o}ller},
  title     = {Modal algebra and Petri nets},
  journal   = {Acta Informatica},
  volume    = {52},
  number    = {2-3},
  pages     = {109 -- 132},
  doi       = {10.1007/s00236-015-0216-3},
  year      = {2015},
}