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 …