Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets. - Negar Majma; Seyed Morteza Babamir; Amirhassan Monadjemi (J. Medical Syst., 2017)

Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets. - Negar Majma; Seyed Morteza Babamir (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Modeling and simulation of Fuzzy-rule based WBAN using multi-level fuzzy colored petri-nets and reinforcement learning. - Negar Majma; Seyed Morteza Babamir (J. Comput. Sci., 2024)