Study of Complex Loop Patterns based on Time Petri Net | IEEE Conference Publication | IEEE Xplore