Durk-Jouke van der Zee. Building Insightful Simulation Models using Formal Approaches - A Case Study on Petri Nets. 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 886-898, WSC, 2009. [doi]
Abstract is missing.