A Petri Net Model for Service Availability in Redundant Computing Systems.

Felix Salfner, Katinka Wolter

Browse the full WSC paper archive.