Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools

Mohammed Assiri, Ryszard Janicki. Towards Modeling of Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools. In Michael Köhler-Bussmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). Volume 2907 of CEUR Workshop Proceedings, pages 1-20, CEUR-WS.org, 2021. [doi]

Abstract

Abstract is missing.