Hierarchical Timed Colored Petri-Net Based Modeling and Evaluation of a Bank Credit Monitoring System.