A discrete event model for analysis and verification of time-constrained business processes

Sofiane Boukelkoul, Ramdane Maamri, Mohammed Chihoub. A discrete event model for analysis and verification of time-constrained business processes. Concurrency - Practice and Experience, 33(1), 2021. [doi]

Abstract

Abstract is missing.