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.

@inproceedings{RoyDHDS08,
  title = {Modeling Software Contention using Colored Petri Nets},
  author = {Nilabja Roy and Akshay Dabholkar and Nathan Hamm and Lawrence W. Dowdy and Douglas C. Schmidt},
  year = {2008},
  tags = {modeling, C++},
  researchr = {https://researchr.org/publication/RoyDHDS08},
  cites = {0},
  citedby = {0},
  pages = {317-324},
  booktitle = {16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2008), Baltimore, Maryland, USA, September 8-10, 2008},
  editor = {Ethan L. Miller and Carey L. Williamson},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4244-2818-2},
}