A Petri Net Approach to Remote Diagnosis for Failures of Cardiac Pacemakers
Shang-Kuo Yang · Quality and Reliability Engineering International · 2004
Abstract This paper describes the application of Petri nets to remote diagnosis for failures of cardiac pacemakers. The operations, structures and basic control methods of the different types of cardiac pacemakers are first described. A combined synchronous pacemaker is modeled into a Petri net in this study. Twelve checkpoints are added into the modeled Petri net so as to construct a Petri net for failure diagnosis. A remote mode for failure diagnosis of implanted pacemakers is also designed by the Petri net approach. A low‐power transmitter transmits a checking‐code with 12 digits from the implanted pacemaker to the outside of the patient's body manually or automatically. By observing the markings of the checking code, the working status and the health condition of the pacemaker are clear at a glance. Applications of the Petri net method for failure diagnosis and control optimization are discussed. Copyright © 2004 John Wiley & Sons, Ltd.