Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1-20 |
| Number of pages | 20 |
| Journal | CEUR Workshop Proceedings |
| Volume | 2907 |
| State | Published - 2021 |
| Externally published | Yes |
| Event | 2021 International Workshop on Petri Nets and Software Engineering, PNSE 2021 - Virtual, Paris, France Duration: 25 Jun 2021 → … |
Keywords
- Biomodelling
- Cardiac Pacemakers
- Electrocardiogram
- Timed Coloured Petri Nets
- Verification Grand Challenge