Mohammed Assiri

• Modeling Cardiac Pacemakers with Timed Coloured Petri Nets and Related Tools
• Modeling Elevator System with Coloured Petri Nets