Modeling Software Contention using Colored Petri Nets

Nilabja Roy, Akshay Dabholkar, Nathan Hamm, Lawrence W. Dowdy, Douglas C. Schmidt. Modeling Software Contention using Colored Petri Nets. In Ethan L. Miller, Carey L. Williamson, editors, 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2008), Baltimore, Maryland, USA, September 8-10, 2008. pages 317-324, IEEE Computer Society, 2008.

Abstract

Abstract is missing.