Hierarchical Timed Colored Petri-Net Based Modeling and Evaluation of a Bank Credit Monitoring System. - Adel Ben Mnaouer; Marina M. Wanis; Moayad Aloqaily (AICCSA, 2019)