Timed Petri Nets Modelling of High-Throughput Screening Process for Fault Study

To perform fault studies (e.g., fault detection, diagnosis, and mitigation) via Internet for a remote automation line, operation time is an important feature/symptom for human supervisors. This paper introduces the application of timed Petri nets (TPN) to model a high-throughput screening (HTS) process, and extends the timed transition based on the dynamics of the automated process. This paper describes the design methodologies of TPN to model the dynamics of the HTS process with and without anomalies. Finally, both healthy and faulty conditions of an automated biological/chemical screening line are simulated in Matlab/Simulink to demonstrate the effectiveness of the proposed TPN modelling