Drupal-Bibcite<style face="normal" font="default" size="100%">Modeling Software Contention using Colored Petri Nets</style>