Modeling and Analysis of a Testing System Using Hybrid Petri Net | IEEE Conference Publication | IEEE Xplore