Petri-nets Based Availability Model of Fault-Tolerant Server System | IEEE Conference Publication | IEEE Xplore