Investigating the structural properties of ER-ES PN model to define liveness of the system. - Sayali Deshmukh; Kisan Sarda; Sarang Sutavani; Sushama Wagh (ECCTD, 2017)