@proceedings {4468,
	title = {Modeling Software Contention using Colored Petri Nets},
	journal = {Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)},
	year = {2008},
	month = {09/2008},
	address = {Baltimore, MD, USA},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/SoftwareContention.pdf},
	author = {Nilabja Roy and Dabholkar, Akshay and Larry Dowdy and Douglas Schmidt}
}
