Towards modelling of cardiac pacemakers with timed coloured petri nets and related tools

A formal model for the cardiac pacemaker system is presented. Timed Coloured Petri Nets (TCPN) and CPN tools are adopted as modelling tools. The model, which includes various suitable parameters, covers numerous identified characteristics of operation modes and cardiac rhythms in substantial detail. The model can help facilitate a better understanding of the cardiac pacemaker system and provide customizable data to fully evaluate and optimize different algorithms and techniques for the pacemaker system. The obtained results prove the reliability and validity of this model in analyzing the pacemaker system while producing various cardiac events engaging the expressive power and convenience of TCPN.