Felix Salfner, Katinka Wolter. A Petri Net Model for Service Availability in Redundant Computing Systems. In Ann Dunkin, Ricki G. Ingalls, Enver Yücesan, Manuel D. Rossetti, Ray Hill, Björn Johansson, editors, Proceedings of the 2009 Winter Simulation Conference, WSC 2009, Hilton Austin Hotel, Austin, TX, USA, December 13-16, 2009. pages 819-826, WSC, 2009. [doi]
Abstract is missing.