Noreña Cardona, Paola Andrea Amjad, A., Azam, F., Anwar, M. W., & Butt, W. H. (2017). Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets. In 9th IEEE-GCC Conference and Exhibition (GCCCE). IEEE. Manama, Bahrain, 1–6..
,
2020