Service Reliability And Availability Model With Petri Nets: A New Hybrid Approach For Service Availability. - Lucrezia Palummo; Rachele Meriggiola; Emanuele Guidolotti; Damiano De Luca (CIISE, 2017)