Hierarchical Timed Colored Petri-Net Based Modeling and Evaluation of a Bank Credit Monitoring System | IEEE Conference Publication | IEEE Xplore