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

Author

Dai Wanyi ; Liu Weidong ; Zhang Mei ; Hu Yueming

Author_Institution

Coll. of Autom. Sci. & Eng., South China Univ. of Technol., Guangzhou, China

fYear

2014

fDate

May 31 2014-June 2 2014

Firstpage

4469

Lastpage

4473

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.

Keywords

Petri nets; discrete event systems; medicine; optimisation; scheduling; PN model; PN-based scheduling stability; formal Petri net model; medical testing systems; optimization objective; reentrant medical devices testing process; reentrant medical testing system; scheduling constraints; scheduling problem; scheduling solution; system property; system stability; Analytical models; Indexes; Job shop scheduling; Optimization; Production systems; Stability analysis; Testing; Medical Testing; Petri Net; Reentrant System; Scheduling;

fLanguage

English

Publisher

ieee

Conference_Titel

Control and Decision Conference (2014 CCDC), The 26th Chinese

Conference_Location

Changsha

Print_ISBN

978-1-4799-3707-3

Type

conf

DOI

10.1109/CCDC.2014.6852968

Filename

6852968