Modelling and analyzing electrocardiogram events using timed coloured petri nets

A formal model of generating realistic synthetic electrocardiogram (ECG) events 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 cardiac rhythms in substantial detail. The model can assist not only in facilitating a better understanding of ECG events but also in providing customizable data to fully evaluate and optimize different ECG algorithms and techniques. The obtained results prove the reliability and validity of this model in producing various cardiac rhythms while demonstrating the expressive power and convenience of TCPN.