Sharifi,S M , and Majma,N . "Runtime Validation and decision making of an Intelligent Wearable Brain Neurostimulation DeviceUsing Timed Colored Petri Nets and Reinforcement Learning" .e115678 , Soft Computing Journal, , , 2026, e115678. doi: 10.22052/scj.2026.257524.1320