Research on PN-based scheduling stability for reentrant medical testing system

This paper discusses the scheduling problem for reentrant medical devices testing process. Firstly, while a formal Petri Net (PN) model is built by analyzing scheduling constraints and its optimization objectives, system stability and other system properties are additionally discussed. Secondly, a feasible scheduling solution is calculated based on the PN model and its scheduling constraints; its stability is further confirmed. Finally, one application of actual medical testing systems is verified.