On the semantics of EPCs: A vicious circle

@inproceedings{Aalst2002OnTS,
  title={On the semantics of EPCs: A vicious circle},
  author={Wil M. P. van der Aalst and J{\"o}rg Desel and Ekkart Kindler},
  booktitle={EPK},
  year={2002}
}
Recently, Nüttgens and Rump proposed a formal semantics for Event driven Process Chains (EPCs), which should be fully compliant with the informal semantics of EPCs. But, their semantics has a severe flaw. This flaw reveals that there is a fundamental problem with the informal semantics of EPCs. Here, we pin-point the cause of this problem, we show that there is no sound formal semantics for EPCs that is fully compliant with the informal semantics, and we discuss some consequences.