Syntax and Formal Semantics for Event-driven Process Chains based on Coloured Petri Nets

The process modelling language EPC was invented in 1992. Since then, many variants of EPC have been proposed in literature (see e.g. Riehle et al. 2016 for an overview). A thesis with this topic should compare syntax and formal semantics of different EPC variants. Goal of this thesis is to develop and specify syntax and formal semantics of an integrated EPC approach, based on a meta-model proposed by Jannaber et al. (2016).



  • Jannaber, S., Karhof, A., Riehle, D. M., Thomas, O., Delfmann, P., & Becker, J. (2016). Invigorating Event-driven Process Chains — Towards an integrated meta model for EPC standardization. In Proceedings of the 1st International Workshop on Adequacy of Modelling Methods (AQEMO'2016), Karlsruhe, Deutschland.
  • Riehle, D. M., Jannaber, S., Karhof, A., Thomas, O., Delfmann, P., & Becker, J. (2016). On the de-facto Standard of Event-driven Process Chains: How EPC is defined in Literature. In Proceedings of the Modellierung 2016, Karlsruhe, Deutschland.