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

Dai Wanyi,Liu Weidong,Zhang Mei,Hu Yueming
DOI: https://doi.org/10.1109/CCDC.2014.6852968
2014-01-01
Abstract: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.
What problem does this paper attempt to address?