Modeling Software Contention using Colored Petri Nets.

Nilabja Roy, Akshay Dabholkar, Nathan Hamm, Lawrence W. Dowdy, Douglas C. Schmidt

Browse the full MASCOTS paper archive.