Towards a Comprehensive Formal Model for Business Processes - Mecheraoui, Khalil; Belala, Nabil; Saïdouni, Djamel Eddine (Information and Software Technologies, 2016)
Keywords: Action durations; Business processes; Data modeling; Formal specification; Open workflow model; Time constraints; True-concurrency semantics