You can model your Timed Colored Petri Net in Ruby using convenient DSL and simulate it quite efficiently.
Wojciech Rząsa
GPL-3.0