Roy, N. ., Dabholkar, A. ., Dowdy, L. ., & Schmidt, D. . (2008). Modeling Software Contention using Colored Petri Nets. Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS). Baltimore, MD, USA. (Original work published September 2008)