Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets